snopshot (working one!)

[helm.git] / components / content_pres / termContentPres.mli

diff --git a/components/content_pres/termContentPres.mli b/components/content_pres/termContentPres.mli
index 5ff710036cdabb312669f7fbc90d174730a7256e..77cda8a817d61b2589187c8cfdc30a0d3de3d53e 100644 (file)
--- 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