From 6deed0cb3546a9920611c3fa1db6054f000654a8 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 8 Feb 2021 09:57:05 +0100
Subject: [PATCH] Do not quote failure errors.
---
solver.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/solver.ml b/solver.ml
index e5c03ae..d23c0ea 100644
--- a/solver.ml
+++ b/solver.ml
@@ -302,7 +302,7 @@ let build_command ~raw_options confg_solver property model =
Stdlib.close_out out_channel;
Ok tmp
with Sys_error e ->
- Error (Format.sprintf "Unexpected failure@ `%s'." e)
+ Error (Format.sprintf "Unexpected failure:@ %s." e)
end >>= fun prop ->
(* Build actual command-line. *)
try
@@ -335,7 +335,7 @@ let build_command ~raw_options confg_solver property model =
in
Ok (prop, cmd)
with Failure e ->
- Error (Format.sprintf "Unexpected failure@ `%s'." e)
+ Error (Format.sprintf "Unexpected failure:@ %s." e)
let exec ~raw_options config model property =
let open Result in
--
GitLab