diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 0d3beb459a6cabe097ae574ee5a20b11597432f8..1a1d445bd3d398f65db3ed49a8b08703ff3eda19 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -195,6 +195,7 @@ let choiceGraph () =
 let choiceVerify () =
     try
       while true do
+        print_string "> ";
         let input = read_line () in
         if not (GenAndComp.isEmptyString input) then
           let f = CoAlgFormula.importFormula input in
@@ -202,7 +203,8 @@ let choiceVerify () =
           incr counter;
           print_string ("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
           flush stdout;
-          CoAlgFormula.verifyFormula f;
+          try CoAlgFormula.verifyFormula f;
+          with CoAlgFormula.CoAlgException s -> print_string (s ^ "\n")
         else ()
       done
     with End_of_file -> ()