X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.mli;h=d131edbf79b65b46315d19510ec9e96583b9f58e;hb=704fd9d9db0c01619264527d4174afe74bdff53d;hp=47cfb28aaee6f814d43d319c99e754a68e2b0256;hpb=032edbca0cd6654adae5b5f06620723e74847435;p=fireball-separation.git

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 47cfb28..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 *)