X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flexicon%2FlexiconEngine.ml;fp=helm%2Focaml%2Flexicon%2FlexiconEngine.ml;h=752dabb71d26b52c6ecf96449bad411b4227381d;hb=114ee592d3da9b49abfd4c1b186cba1e170075dc;hp=ff186b1311edd573c9b2843bdba82fe2f326d062;hpb=a229a988dceead9ffe3ea593fcf98e68a16582cf;p=helm.git

diff --git a/helm/ocaml/lexicon/lexiconEngine.ml b/helm/ocaml/lexicon/lexiconEngine.ml
index ff186b131..752dabb71 100644
--- a/helm/ocaml/lexicon/lexiconEngine.ml
+++ b/helm/ocaml/lexicon/lexiconEngine.ml
@@ -108,7 +108,7 @@ let rec eval_command status cmd =
      let lexicon = LexiconMarshal.load_lexicon lexiconpath in
      let status = List.fold_left eval_command status lexicon in
       if Helm_registry.get_bool "db.nodb" then
-       let metadatapath = baseuri ^ ".metadata" in
+       let metadatapath = LibraryMisc.metadata_file_of_baseuri ~basedir ~baseuri in
         if not (Sys.file_exists metadatapath) then
           raise (MetadataNotFound metadatapath)
         else