src/HOL/Tools/Nunchaku/nunchaku.ML
changeset 66632 6950d3da13f8
parent 66627 4145169ae609
child 66646 383d8e388d1b
--- a/src/HOL/Tools/Nunchaku/nunchaku.ML	Fri Sep 08 00:02:48 2017 +0200
+++ b/src/HOL/Tools/Nunchaku/nunchaku.ML	Fri Sep 08 00:02:52 2017 +0200
@@ -281,7 +281,7 @@
               (print_n "External tool \"cvc4\" cannot execute"; (unknownN, NONE))
             | CVC4_Not_Found => (print_n "External tool \"cvc4\" not found"; (unknownN, NONE))
             | Unknown_Error (code, msg) =>
-              (print_n ("Unknown error: " ^ unprefix_error msg ^
+              (print_n ("Error: " ^ unprefix_error msg ^
                  (if code = 0 then "" else " (code " ^ string_of_int code ^ ")"));
                (unknownN, NONE)))
           end