X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=a01895678c0535b655ac4a3c7026d58cc616dd3d;hb=c450fdfb1b02eb69e5e7ef25f0acdf80157710df;hp=3b4cffb6d69711c397875fa41487837df0363bd7;hpb=63b86fce8a75490b957e7301517b9006f58321b6;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicPp.mli b/helm/software/components/ng_kernel/nCicPp.mli
index 3b4cffb6d..a01895678 100644
--- a/helm/software/components/ng_kernel/nCicPp.mli
+++ b/helm/software/components/ng_kernel/nCicPp.mli
@@ -33,7 +33,8 @@ val ppcontext:
 val ppmetasenv:
   subst:NCic.substitution -> NCic.metasenv -> string
 
-val ppsubst: metasenv:NCic.metasenv -> NCic.substitution -> string
+val ppsubst:
+ metasenv:NCic.metasenv -> ?use_subst:bool -> NCic.substitution -> string
 
 val ppobj: NCic.obj -> string