X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fsimple.mli;h=fba247092a39b9074941eff9319e7c40038f67a7;hb=55cdd31ff67621c1c56899f044f849ea72d9a29e;hp=bdc632827889ffe4136c179ae95001f1f1854e92;hpb=f1873841a3271d332cb8429b46e7bc7e0bca2402;p=fireball-separation.git

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