]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/matitaSync.ml
save_object_to_disk profiler fixed
[helm.git] / helm / matita / matitaSync.ml
index fe2726a0a6e24a6cf2be949afea364635c06a779..4005aeb11b4a6a77dc446b67c709fb33da297632 100644 (file)
@@ -168,8 +168,8 @@ let index_obj =
 
 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