grafite_status := drop (to_be_dropped, !grafite_status) ;
let grafite_status = safe_hd !grafite_status in
LexiconSync.time_travel
- ~present:(GrafiteTypes.get_estatus cur_grafite_status)
- ~past:(GrafiteTypes.get_estatus grafite_status);
- GrafiteSync.time_travel
~present:cur_grafite_status ~past:grafite_status;
+ GrafiteSync.time_travel
+ ~present:cur_grafite_status ~past:grafite_status ();
interactive_loop (Some n)
| `Do command ->
let str = Ulexing.from_utf8_string command in
match !grafite_status with
| s::_ ->
s#proof_status, s#moo_content_rev,
- (GrafiteTypes.get_estatus s)#lstatus.LexiconEngine.lexicon_content_rev,
- (GrafiteTypes.get_estatus s)#dump
+ s#lstatus.LexiconEngine.lexicon_content_rev, s#dump
| _ -> assert false
in
if proof_status <> GrafiteTypes.No_proof then
in
GrafiteMarshal.save_moo moo_fname moo_content_rev;
LexiconMarshal.save_lexicon lexicon_fname lexicon_content_rev;
- NRstatus.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
+ NCicLibrary.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
exit 0
end
with