- let status = NCicLibrary.add_obj status obj in
- prerr_endline (NCicPp.ppobj obj);
- let objs = NCicElim.mk_elims obj in
- let timestamp,uris_rev =
+ let old_status = status in
+ let status = NCicLibrary.add_obj status obj in
+ (try
+ (*prerr_endline (NCicPp.ppobj obj);*)
+ let boxml = NCicElim.mk_elims obj in
+(*
+ let objs = [] in
+ let timestamp,uris_rev =
+ List.fold_left
+ (fun (status,uris_rev) (uri,_,_,_,_) as obj ->
+ let status = NCicLibrary.add_obj status obj in
+ status,uri::uris_rev
+ ) (status,[]) objs in
+ let uris = uri::List.rev uris_rev in
+*)
+ let status = status#set_ng_mode `CommandMode in
+ let status = LexiconSync.add_aliases_for_objs status (`New [uri]) in