Copied old code back in parser, to make andrea8 great again

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

diff --git a/ocaml/num.mli b/ocaml/num.mli
index 33ea10fee01f5530e904fb10940efc77ba50d07b..39637bf1afe8c34ca409371d25b94d3e152d3542 100644 (file)
--- a/ocaml/num.mli
+++ b/ocaml/num.mli
@@ -24,7 +24,6 @@ module ToScott :
     val scott_of_nf : nf -> Pure.Pure.t
   end
 val print : ?l:string list -> nf -> string
-val string_of_nf : [<nf] -> string
 val cast_to_i_var : [< nf > `I `Var] -> i_var
 val cast_to_i_n_var : [< nf > `I `N `Var] -> i_n_var
 val cast_to_i_num_var : [< nf > `I `N `Match `Var] -> i_num_var