From 6b768f63b39dc56072f2716fb32a978626d86d27 Mon Sep 17 00:00:00 2001
From: Grigorii Safronov <gvsafronov@yandex.ru>
Date: Sun, 8 Sep 2024 11:22:42 +0000
Subject: [PATCH] =?UTF-8?q?=D0=98=D0=B7=D0=BC=D0=B5=D0=BD=D0=B8=D0=BB(?=
 =?UTF-8?q?=D0=B0)=20=D0=BD=D0=B0=20'cozo-bin/src/repl.rs'?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 cozo-bin/src/repl.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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<dyn Error>> {
     })
     .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::<Indented, DefaultHistory>::new()?;
@@ -129,7 +130,7 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box<dyn Error>> {
                 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