Report errors to stdout in REPL mode

egraphs-good · Aug 20, 2024 · 5bc1504 · 5bc1504
1 parent 601b17f
commit 5bc1504
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -87,6 +87,7 @@ fn run_command_in_scripting(egraph: &mut EGraph, command: &str) {
             }
         }
         Err(err) => {
+            println!("(error \"{err}\")");
             log::error!("{err}");
         }
     }