Fixup: removing debug in main

steveicarus · Apr 20, 2021 · 5a97ae7 · 5a97ae7
1 parent d44fd89
commit 5a97ae7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.cc b/main.cc
@@ -178,7 +178,7 @@ bool ignore_missing_modules = false;
  */
 bool debug_scopes = false;
 bool debug_eval_tree = false;
-bool debug_elaborate = true;
+bool debug_elaborate = false;
 bool debug_emit = false;
 bool debug_synth2 = false;
 bool debug_optimizer = false;