X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FtermContentPres.mli;h=77cda8a817d61b2589187c8cfdc30a0d3de3d53e;hb=623cbb7a784ce2d983608ee4a44bf386dfe01bbc;hp=5ff710036cdabb312669f7fbc90d174730a7256e;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/content_pres/termContentPres.mli b/helm/software/components/content_pres/termContentPres.mli
index 5ff710036..77cda8a81 100644
--- a/helm/software/components/content_pres/termContentPres.mli
+++ b/helm/software/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