From 0581f3c8dc2098b82cd31a0fbed224a95652bd88 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 3 Feb 2010 16:00:33 +0000
Subject: [PATCH] Bad variable name fixed.

---
 helm/software/components/grafite_engine/grafiteSync.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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