X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fnum.mli;fp=ocaml%2Fnum.mli;h=c981cff265d6caef63438ef3c806be7ff87513a0;hb=ffece1568ae283bde759da5e146fbbd3eda66303;hp=e06a8211f7a99c9d52cbe34bb0751189a1f9954b;hpb=83894fd0e03553e80e42a741827e1e6233417750;p=fireball-separation.git

diff --git a/ocaml/num.mli b/ocaml/num.mli
index e06a821..c981cff 100644
--- a/ocaml/num.mli
+++ b/ocaml/num.mli
@@ -38,7 +38,7 @@ val mk_app : nf -> nf -> nf
 val mk_appl : nf -> nf list -> nf
 val mk_appx : nf -> nf Listx.listx -> nf
 val mk_match : nf i_num_var_ -> var -> int -> (int * nf) list ref -> nf list -> nf
-val subst : bool -> int -> nf -> nf -> nf
+val subst : bool -> bool -> int -> nf -> nf -> nf
 val parse' : string list -> nf list * string list
 val eta_compare : nf -> nf -> int
 val eta_eq : [< nf ] -> [< nf ] -> bool