From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 3 Feb 2010 16:00:33 +0000 (+0000)
Subject: Bad variable name fixed.
X-Git-Tag: make_still_working~3069
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0581f3c8dc2098b82cd31a0fbed224a95652bd88;p=helm.git

Bad variable name fixed.
---

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 ();