let save_object_to_disk =
let profiler = CicUtil.profile "add_obj.save_object_to_disk" in
- fun status uri obj ->
- profiler.CicUtil.profile (save_object_to_disk status uri) obj
+ fun status uri obj ugraph univlist ->
+ profiler.CicUtil.profile (save_object_to_disk status uri obj ugraph) univlist
let add_obj uri obj status =
let dbd = MatitaDb.instance () in