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;
}