Improved parsing

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

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 47cfb28aaee6f814d43d319c99e754a68e2b0256..d131edbf79b65b46315d19510ec9e96583b9f58e 100644 (file)
--- a/ocaml/parser.mli
+++ b/ocaml/parser.mli
@@ -1,6 +1,5 @@
 exception ParsingError of string\r
 \r
-val parse': string list -> Num.nf list * string list\r
 val problem_of_string:\r
  string ->\r
   string (* problem label *)\r