moved initial (i.e. empty) lexiconEngine status to lexiconEngine from

[helm.git] / helm / software / components / lexicon / lexiconEngine.ml

diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml
index aec759c964d64d3b3d00f9ea92d87c73d42a5445..4adfe624b2039c4042e925a6ed2641e1c0b37c98 100644 (file)
--- a/helm/software/components/lexicon/lexiconEngine.ml
+++ b/helm/software/components/lexicon/lexiconEngine.ml
@@ -36,6 +36,14 @@ type status = {
   metadata: LibraryNoDb.metadata list;
 }
 
+let initial_status = {
+  aliases = DisambiguateTypes.Environment.empty;
+  multi_aliases = DisambiguateTypes.Environment.empty;
+  lexicon_content_rev = [];
+  notation_ids = [];
+  metadata = [];
+}
+
 let add_lexicon_content cmds status =
   let content = status.lexicon_content_rev in
   let content' =