From ec43ad51caea26d43e85645a1f09270f7a9b3553 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 16 Oct 2014 13:24:14 -0700 Subject: [PATCH] feat(shell/lean.cpp): use trust_lvl=10000, flycheck for EMSCRIPTEN --- src/shell/lean.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp index b750430df..87e6f8e8c 100644 --- a/src/shell/lean.cpp +++ b/src/shell/lean.cpp @@ -249,7 +249,7 @@ private: set_io_state set2; 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()), S(lean::get_thread_script_state()), set1(S, env), set2(S, ios) { }