Poetry

OCamlPro · Sep 28, 2023 · 411e86c · 411e86c
1 parent 3e3e228
commit 411e86c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -258,7 +258,7 @@ let main () =
       Printer.print_err "%a" Errors.report e;
       exit 1
     | D_loop.DolmenError (i, descr) ->
-      Printer.print_err "Dolmen failed %s (code %i)" descr i;
+      Printer.print_err "Failure %s (code %i)" descr i;
       exit 1
     | _ as exn -> Printexc.raise_with_backtrace exn bt
   in