X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fcontent_pres%2FtermContentPres.mli;h=34e63aa649d7b5aa4784a26381d4a48110d501eb;hb=e628a830e720c821111706a22e7cb05dc3a6628b;hp=9c08650c23adfa6a4ac88e17ff220d4088f610e7;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content_pres/termContentPres.mli b/matitaB/components/content_pres/termContentPres.mli
index 9c08650c2..34e63aa64 100644
--- a/matitaB/components/content_pres/termContentPres.mli
+++ b/matitaB/components/content_pres/termContentPres.mli
@@ -33,6 +33,7 @@ class type g_status =
   end
 
 class virtual status :
+  string option ->
   object ('self)
     inherit NCic.status
     method content_pres_db: db
@@ -54,4 +55,6 @@ val pp_ast: #status -> NotationPt.term -> NotationPt.term
 
   (** fills a term pattern instantiating variable magics *)
 val instantiate_level2:
- #NCic.status -> NotationEnv.t -> NotationPt.term -> NotationPt.term
+ #NCic.status -> NotationEnv.t ->
+ Stdpp.location * string option * string option -> 
+ NotationPt.term -> NotationPt.term