Improved definition of eta_eq

[fireball-separation.git] / ocaml / simple_test.ml

diff --git a/ocaml/simple_test.ml b/ocaml/simple_test.ml
index ed2c81c8e2325946ca5777b1ed1a151743f7f03a..9e79ee9e46adec9badb50c9b8432a497eb7ee8f2 100644 (file)
--- a/ocaml/simple_test.ml
+++ b/ocaml/simple_test.ml
@@ -58,9 +58,10 @@ let main =
     print_endline str;
     try
      (solve ++ problem_of ++ Parser.problem_of_string) ("$" ^ str)
-    with Simple.Fail _ as e ->
-     let str = "$ failing test problem \n# Failed because: " ^ Printexc.to_string e ^ str in
+    with Failure _ as e ->
+     let str = "$! failing test problem \n# Failed because: " ^ Printexc.to_string e ^ str in
      Printf.fprintf oc "%s\n" str
+    | Unseparable _ -> ()
   ) num ;
   close_out oc;
   print_endline ("\n\n---- </TESTS> " ^ file);