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

diff --git a/ocaml/simple.mli b/ocaml/simple.mli
index 216e381..fba2470 100644
--- a/ocaml/simple.mli
+++ b/ocaml/simple.mli
@@ -1,4 +1,6 @@
-(* type problem
-val problem_of : string -> string list -> problem
-val solve : problem -> unit *)
-val run : string -> string list -> unit
+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 *
+  string list -> problem