X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fnum.mli;h=39637bf1afe8c34ca409371d25b94d3e152d3542;hb=dfcac7819cb61c55bf59e56f38f28be70fc95be7;hp=33ea10fee01f5530e904fb10940efc77ba50d07b;hpb=123d64bb5ae7127f6a51cbf44b63341de001a187;p=fireball-separation.git

diff --git a/ocaml/num.mli b/ocaml/num.mli
index 33ea10f..39637bf 100644
--- 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