diff --git a/main.cc b/main.cc
index 9b2c7835a..129b635d9 100644
--- 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;