X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fparser.mli;h=d131edbf79b65b46315d19510ec9e96583b9f58e;hb=refs%2Fheads%2Fstrong_simple_measure;hp=47cfb28aaee6f814d43d319c99e754a68e2b0256;hpb=0b5ad58b1454d58219dca88bd1d3e94f14ac50fc;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 *)