snopshot (working one!)

[helm.git] / components / lexicon / cicNotation.ml

diff --git a/components/lexicon/cicNotation.ml b/components/lexicon/cicNotation.ml
index d514c0273947084238fea63880031135b480f8eb..bea67a0b4bbf9a9f54d1b28fd310466eaa83fad3 100644 (file)
--- a/components/lexicon/cicNotation.ml
+++ b/components/lexicon/cicNotation.ml
@@ -96,3 +96,7 @@ let set_active_notations ids =
   in
   TermAcicContent.set_active_interpretations interp_ids
 
+let reset () =
+  TermContentPres.reset ();
+  TermAcicContent.reset ()
+;;