max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: use new frontend by default

Browse source
This commit is contained in:
Leonardo de Moura 2020-10-25 09:12:19 -07:00
parent fa101444b4
commit 24a6ee1810
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

@ -434,7 +434,7 @@ int main(int argc, char ** argv) {
bool use_stdin = false;
unsigned trust_lvl = LEAN_BELIEVER_TRUST_LEVEL + 1;
bool only_deps = false;
bool new_frontend = false;
bool new_frontend = true;
bool stats = false;
unsigned num_threads = 0;
#if defined(LEAN_MULTI_THREAD)