X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fsimple.mli;h=67bee915c413aa424c50499cbd8c6d5bc675090c;hb=1f8f8e52c38e1897e9b5ea106721d6a4dd88c284;hp=fba247092a39b9074941eff9319e7c40038f67a7;hpb=0197354468e40860a3a104b9ea5b68854a22cfca;p=fireball-separation.git

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