another step roward the removal of do_tests.sh

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

diff --git a/components/lexicon/lexiconSync.ml b/components/lexicon/lexiconSync.ml
index d7fa27f902b2e7038ee46e7b3c9ed9986e025b47..f88a79971b32919e0441a31f85bf8999840376bd 100644 (file)
--- 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 = [];
-  }