git status! separation problem seems now undecidable git status!

[fireball-separation.git] / ocaml_new / problems.ml

diff --git a/ocaml_new/problems.ml b/ocaml_new/problems.ml
index eda359ae00d08dc3b92c19eba633c44d1bec1ee1..c521afa7808f3171f960f77c7e38965b24d2e33d 100644 (file)
--- a/ocaml_new/problems.ml
+++ b/ocaml_new/problems.ml
@@ -23,6 +23,7 @@ let assert_depends x =
  match solve x with
  | _, `Unseparable s when c = "!" ->
     failwith ("assert_depends: unseparable because: " ^ s ^ ".")
+ | _, `Unseparable _ -> prerr_endline "Problem failed correctly."
  | _, `Separable _  when c = "?" ->
     failwith ("assert_depends: separable.")
  | _ -> ()