From 5bc15044699d9797575ab16afed1be1f021898c8 Mon Sep 17 00:00:00 2001
From: Yihong Zhang <yz489@cs.washington.edu>
Date: Mon, 19 Aug 2024 17:54:24 -0700
Subject: [PATCH] Report errors to stdout in REPL mode

---
 src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.rs b/src/main.rs
index a0c2e9b4..222b5059 100644
--- 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}");
         }
     }