michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(shell/lean.cpp): use trust_lvl=10000, flycheck for EMSCRIPTEN

Browse source
This commit is contained in:
Soonho Kong 2014-10-16 13:24:14 -07:00
parent 2f62a5e887
commit ec43ad51ca
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/shell/lean.cpp
View file

@ -249,7 +249,7 @@ private:
set_io_state set2; set_io_state set2;
public: public:
emscripten_shell() : trust_lvl(0), num_threads(1), opts(), emscripten_shell() : trust_lvl(10000), num_threads(1), opts("flycheck", true),
env(mk_environment(trust_lvl)), ios(opts, lean::mk_pretty_formatter_factory()), env(mk_environment(trust_lvl)), ios(opts, lean::mk_pretty_formatter_factory()),
S(lean::get_thread_script_state()), set1(S, env), set2(S, ios) { S(lean::get_thread_script_state()), set1(S, env), set2(S, ios) {
} }