X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgetter.ml;h=85e64117b6be0fe66366d4eaea95c811364e8617;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=241dd4443b13289209f44e824a137800ba0c5e40;hpb=952ad2bf8ea4bea5999570f0f592f84bf30acd3f;p=helm.git

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 241dd4443..85e64117b 100644
--- a/helm/interface/getter.ml
+++ b/helm/interface/getter.ml
@@ -45,11 +45,11 @@ module MapOfStrings = Map.Make(OrderedStrings);;
 
 let read_index url =
  let module C = Configuration in
-  if Sys.command ("helm_wget " ^ C.tmp_dir ^ " " ^ url ^ "/\"" ^
+  if Sys.command ("helm_wget " ^ C.tmpdir ^ " " ^ url ^ "/\"" ^
    C.indexname ^ "\"") <> 0
   then
    raise (ErrorGetting url) ;
-  let tmpfilename = C.tmp_dir ^ "/" ^ C.indexname in
+  let tmpfilename = C.tmpdir ^ "/" ^ C.indexname in
    let fd = open_in tmpfilename in
    let uris = ref [] in
     try
@@ -145,8 +145,6 @@ let get_file uri =
    fn
 ;;
 
-let raw_get = ClientHTTP.get_and_save
-
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 let get uri =