Don't duplicate error message printing in OCaml

1 files changed, 3 insertions, 2 deletions

diff --git a/src/Experiments/NewPipeline/StandaloneOCamlMain.v b/src/Experiments/NewPipeline/StandaloneOCamlMain.v
index 5696cdc12..0c354b45a 100644
--- a/src/Experiments/NewPipeline/StandaloneOCamlMain.v
+++ b/src/Experiments/NewPipeline/StandaloneOCamlMain.v
@@ -85,12 +85,13 @@ Definition printf_list_string (strs : list String.string) : unit
 Definition printf_list_string_with_newlines (strs : list String.string) : unit
   := match strs with
      | nil => printf_list_string nil
-     | str :: strs => printf_list_string (str :: List.map (String.String Ascii.NewLine) strs)
+     | str :: strs => printf_list_string (str :: List.map (String.String Ascii.NewLine) strs
+                                              ++ [String.NewLine; String.NewLine])%list
      end.
 
 Definition raise_failure {A} (msg : list String.string) : A
   := seq (fun _ => printf_list_string_with_newlines msg)
-         (fun _ => raise_Failure _ (string_of_Coq_string (String.concat String.NewLine msg))).
+         (fun _ => raise_Failure _ (string_of_Coq_string "Synthesis failed")).
 
 Module UnsaturatedSolinas.
   Definition main : unit