remove debug output

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · May 2, 2023 · 6c24a70 · 6c24a70
1 parent f176917
commit 6c24a70
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
@@ -2006,7 +2006,6 @@ void cmd_context::complete_model(model_ref& md) const {
                 md->register_decl(f, body);
         }
     }
-    verbose_stream() << *md << "\n";
 }
 
 /**