ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

debug json

Browse Source
This commit is contained in:
gluaxspeed 2021-07-23 00:26:10 -07:00
parent 4b4247427b
commit 6d08e8920f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/src/test.rs
View File

@ -216,6 +216,7 @@ impl Namespace for CompileNamespace {
"debug print initial ast {:?}", "debug print initial ast {:?}",
Ast::from_json_file("/tmp/output/initial_ast.json".into()) Ast::from_json_file("/tmp/output/initial_ast.json".into())
.unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string()))) .unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string())))
.to_json_string()
); );
} }