From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 Sep 2005 14:16:50 +0000 (+0000)
Subject: save_object_to_disk profiler fixed
X-Git-Tag: LAST_BEFORE_NEW~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=03be93eb7712b24fa90fcaf7b9b79df99e1f4105;p=helm.git

save_object_to_disk profiler fixed
---

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index fe2726a0a..4005aeb11 100644
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -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