X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml_new%2Fproblems.ml;h=c521afa7808f3171f960f77c7e38965b24d2e33d;hb=6a029ea76d520364189f500b029e110e3d42e5dd;hp=eda359ae00d08dc3b92c19eba633c44d1bec1ee1;hpb=21c829a0b518a725f4db3d21250ad00dcf3bb889;p=fireball-separation.git

diff --git a/ocaml_new/problems.ml b/ocaml_new/problems.ml
index eda359a..c521afa 100644
--- 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.")
  | _ -> ()