X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flexicon%2FlexiconSync.ml;h=f88a79971b32919e0441a31f85bf8999840376bd;hb=21401f0c4b90a1c927aec3a5821c3989370f0a15;hp=d7fa27f902b2e7038ee46e7b3c9ed9986e025b47;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/lexicon/lexiconSync.ml b/components/lexicon/lexiconSync.ml
index d7fa27f90..f88a79971 100644
--- a/components/lexicon/lexiconSync.ml
+++ b/components/lexicon/lexiconSync.ml
@@ -109,11 +109,3 @@ let time_travel ~present ~past =
   in
    List.iter CicNotation.remove_notation notation_to_remove
 
-let init =
-  {
-    LexiconEngine.aliases = DisambiguateTypes.Environment.empty;
-    multi_aliases = DisambiguateTypes.Environment.empty;
-    lexicon_content_rev = [];
-    notation_ids = [];
-    metadata = [];
-  }