diff --git a/compiler/src/test.rs b/compiler/src/test.rs
index 426604cd54..6d5f81c7a0 100644
--- a/compiler/src/test.rs
+++ b/compiler/src/test.rs
@@ -216,6 +216,7 @@ impl Namespace for CompileNamespace {
                 "debug print initial ast {:?}",
                 Ast::from_json_file("/tmp/output/initial_ast.json".into())
                     .unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string())))
+                    .to_json_string()
             );
         }