diff --git a/cozo-bin/src/repl.rs b/cozo-bin/src/repl.rs index b6d77ae6..615049c2 100644 --- a/cozo-bin/src/repl.rs +++ b/cozo-bin/src/repl.rs @@ -99,8 +99,9 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box> { }) .expect("Error setting Ctrl-C handler"); - println!("Welcome to the fluidB REPL."); + println!("Welcome to the fluidB REPL"); println!("Type a space followed by newline to enter multiline mode."); + println!("Press 'Ctrl-C' for exit."); let mut exit = false; let mut rl = rustyline::Editor::::new()?; @@ -129,7 +130,7 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box> { if exit { break; } else { - println!("Again to exit"); + println!("Press 'Ctrl-C again to exit"); exit = true; } } @@ -298,4 +299,4 @@ fn process_line( process_out(out)?; } Ok(()) -} +} \ No newline at end of file