X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FgrafiteSync.ml;h=5a746f41c8ee727e9346bc7daec2eaaee61f63e0;hb=aefcb5f4e531c0318b7f495956c28eab971a4aa1;hp=3fc67f2fda4f71b9dde3ddfa08c99e7b4f4e0122;hpb=b225178112c2c5ef1a717ac7e647d854d94b2e52;p=helm.git

diff --git a/helm/software/components/grafite_engine/grafiteSync.ml b/helm/software/components/grafite_engine/grafiteSync.ml
index 3fc67f2fd..5a746f41c 100644
--- a/helm/software/components/grafite_engine/grafiteSync.ml
+++ b/helm/software/components/grafite_engine/grafiteSync.ml
@@ -115,14 +115,14 @@ let time_travel ~present ~past =
   CoercDb.restore past.GrafiteTypes.coercions;
 ;;
 
-let initial_status baseuri = {
+let initial_status lexicon_status baseuri = {
     GrafiteTypes.moo_content_rev = [];
     proof_status = GrafiteTypes.No_proof;
     objects = [];
     coercions = CoercDb.empty_coerc_db;
     universe = Universe.empty;
     baseuri = baseuri;
-    ng_status = None;
+    ng_status = GrafiteTypes.CommandMode lexicon_status;
   }