X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FgrafiteSync.ml;h=7946b4a1e211ec3a0b769ba49f81f1ca8594b591;hb=0581f3c8dc2098b82cd31a0fbed224a95652bd88;hp=ca29d39fcc1a159459bd96ab9bc42d0e52772a76;hpb=7a651a85d575ff0294f76f78d7771b96e50c5012;p=helm.git

diff --git a/helm/software/components/grafite_engine/grafiteSync.ml b/helm/software/components/grafite_engine/grafiteSync.ml
index ca29d39fc..7946b4a1e 100644
--- a/helm/software/components/grafite_engine/grafiteSync.ml
+++ b/helm/software/components/grafite_engine/grafiteSync.ml
@@ -174,10 +174,10 @@ let initial_status lexicon_status baseuri =
  (new GrafiteTypes.status baseuri)#set_lstatus lexicon_status#lstatus
 ;;
 
-let init baseuri =
+let init lexicon_status =
   CoercDb.restore CoercDb.empty_coerc_db;
   LibraryObjects.reset_defaults ();
-  initial_status baseuri
+  initial_status lexicon_status
   ;;
 let pop () =
   LibrarySync.pop ();