Improved backtracking in Simple

[fireball-separation.git] / ocaml / simple.mli

diff --git a/ocaml/simple.mli b/ocaml/simple.mli
index fba247092a39b9074941eff9319e7c40038f67a7..67bee915c413aa424c50499cbd8c6d5bc675090c 100644 (file)
--- a/ocaml/simple.mli
+++ b/ocaml/simple.mli
@@ -1,5 +1,5 @@
 type problem\r
-exception Fail of int * string\r
+exception Unseparable of string\r
 val solve : problem -> unit\r
 val problem_of :\r
   string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *\r