X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flexicon%2FcicNotation.ml;fp=components%2Flexicon%2FcicNotation.ml;h=bea67a0b4bbf9a9f54d1b28fd310466eaa83fad3;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=d514c0273947084238fea63880031135b480f8eb;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/lexicon/cicNotation.ml b/components/lexicon/cicNotation.ml
index d514c0273..bea67a0b4 100644
--- 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 ()
+;;