X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FtermContentPres.mli;h=77cda8a817d61b2589187c8cfdc30a0d3de3d53e;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=5ff710036cdabb312669f7fbc90d174730a7256e;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/content_pres/termContentPres.mli b/components/content_pres/termContentPres.mli
index 5ff710036..77cda8a81 100644
--- a/components/content_pres/termContentPres.mli
+++ b/components/content_pres/termContentPres.mli
@@ -50,3 +50,5 @@ val instantiate_level2:
   CicNotationEnv.t -> CicNotationPt.term ->
     CicNotationPt.term
 
+(* hack. seee cicNotation for explanation *)
+val reset: unit -> unit