X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FlexiconSync.ml;h=ed243fe196c48a9ff5e7499f7bdce28ed91e0432;hb=1ee5193677b8e2a80d4f068ee79ecac335de1196;hp=b9c9b1cc2c43a77198fd1240e7d114f6a1407b24;hpb=e053aaf3085a079c3125ed4666ba648a48fbb2af;p=helm.git

diff --git a/helm/software/components/lexicon/lexiconSync.ml b/helm/software/components/lexicon/lexiconSync.ml
index b9c9b1cc2..ed243fe19 100644
--- a/helm/software/components/lexicon/lexiconSync.ml
+++ b/helm/software/components/lexicon/lexiconSync.ml
@@ -109,3 +109,5 @@ let time_travel ~present ~past =
   in
    List.iter CicNotation.remove_notation notation_to_remove
 
+let push () = CicNotation.push ();;
+let pop () = CicNotation.pop ();;