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)?;