X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=5a7fd75a9d27f148e558467fa85965aff8b025c8;hb=0bc324c13d1eaaa0de54a4d37098dd669198e17e;hp=19b754eea7f76588d02c5b74b832cc1aa643255e;hpb=0bfad3f438ba29135f2c18d1bf3cb0c8f462a205;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicPp.mli b/helm/software/components/ng_kernel/nCicPp.mli
index 19b754eea..5a7fd75a9 100644
--- a/helm/software/components/ng_kernel/nCicPp.mli
+++ b/helm/software/components/ng_kernel/nCicPp.mli
@@ -2,18 +2,21 @@ val set_ppterm:
   (context:NCic.context -> 
    subst:NCic.substitution -> 
    metasenv:NCic.metasenv ->
+   ?inside_fix:bool ->
     NCic.term -> string) -> unit
 
 val ppterm: 
-  ?context:NCic.context -> 
-  ?subst:NCic.substitution -> 
-  ?metasenv:NCic.metasenv ->
+  context:NCic.context -> 
+  subst:NCic.substitution -> 
+  metasenv:NCic.metasenv ->
+  ?inside_fix:bool ->
    NCic.term -> string
 
 val trivial_pp_term: 
    context:NCic.context -> 
    subst:NCic.substitution -> 
    metasenv:NCic.metasenv ->
+   ?inside_fix:bool ->
     NCic.term -> string
 
 val ppobj: NCic.obj -> string