From f17f63bde5268836748f566cde0a9b7e61d5303a Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Thu, 15 Jun 2023 20:37:17 +0800
Subject: [PATCH] fix the clash of imperative ops and repl directives

---
 cozo-bin/src/repl.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cozo-bin/src/repl.rs b/cozo-bin/src/repl.rs
index 0842cc74..0d1d1eb8 100644
--- a/cozo-bin/src/repl.rs
+++ b/cozo-bin/src/repl.rs
@@ -288,7 +288,10 @@ fn process_line(
                     println!("Imported data from {url}");
                 }
             }
-            op => bail!("Unknown op: {}", op),
+            _ => {
+                let out = db.run_script(line, params.clone(), ScriptMutability::Mutable)?;
+                process_out(out)?;
+            }
         }
     } else {
         let out = db.run_script(line, params.clone(), ScriptMutability::Mutable)?;