From 2f9121e515150981ac061389656c33eea577c336 Mon Sep 17 00:00:00 2001 From: sigoden Date: Mon, 30 Oct 2023 12:58:11 +0800 Subject: fix: bugs between sesison/role (#178) --- src/repl/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/repl/mod.rs') diff --git a/src/repl/mod.rs b/src/repl/mod.rs index 46d0cca..a6f173a 100644 --- a/src/repl/mod.rs +++ b/src/repl/mod.rs @@ -160,7 +160,7 @@ impl Repl { } fn dump_unknown_command() { - print_now!("Error: Unknown command. Type \".help\" for more information.\n\n"); + print_now!("Unknown command. Type \".help\" for more information.\n\n"); } fn dump_repl_help() { -- cgit v1.2.3