From 03be93eb7712b24fa90fcaf7b9b79df99e1f4105 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 23 Sep 2005 14:16:50 +0000 Subject: [PATCH] save_object_to_disk profiler fixed --- helm/matita/matitaSync.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2