X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.mli;h=d131edbf79b65b46315d19510ec9e96583b9f58e;hb=refs%2Fheads%2Fstrong_simple_measure;hp=927506732d13e8c125769d28a4c3dcaf5696c6af;hpb=1b3b3eb5c68d4b1ca28ef911b81e6757db080187;p=fireball-separation.git

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 9275067..d131edb 100644
--- a/ocaml/parser.mli
+++ b/ocaml/parser.mli
@@ -1,6 +1,5 @@
 exception ParsingError of string
 
-val parse': string list -> Num.nf list * string list
 val problem_of_string:
  string ->
   string (* problem label *)
@@ -8,3 +7,9 @@ val problem_of_string:
   * Num.i_n_var list (* conv *)
   * Num.i_n_var list (* ps *)
   * string list (* names of free variables *)
+val from_file : string ->
+ (string (* problem label *)
+ * Num.i_var option (* div *)
+ * Num.i_n_var list (* conv *)
+ * Num.i_n_var list (* ps *)
+ * string list (* names of free variables *)) list