X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FtermContentPres.mli;fp=matitaB%2Fcomponents%2Fcontent_pres%2FtermContentPres.mli;h=f64bfcd670e356d6ccc43f91a1c784c7760784af;hb=c81b0e8dbfe80e2350e9322afa8316f39f98c3b3;hp=34e63aa649d7b5aa4784a26381d4a48110d501eb;hpb=935c8d1b73726bb49b99e5c2dbebdea0d617fa1a;p=helm.git

diff --git a/matitaB/components/content_pres/termContentPres.mli b/matitaB/components/content_pres/termContentPres.mli
index 34e63aa64..f64bfcd67 100644
--- a/matitaB/components/content_pres/termContentPres.mli
+++ b/matitaB/components/content_pres/termContentPres.mli
@@ -56,5 +56,4 @@ val pp_ast: #status -> NotationPt.term -> NotationPt.term
   (** fills a term pattern instantiating variable magics *)
 val instantiate_level2:
  #NCic.status -> NotationEnv.t ->
- Stdpp.location * string option * string option -> 
  NotationPt.term -> NotationPt.term