]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/configuration.mli
removed tmp_dir no longer needed (it was used only by ClientHTTP module)
[helm.git] / helm / ocaml / getter / configuration.mli
index 3dae0e000f388db2223a6c270cdaa91d7c028cc2..20daaa411c34b571f99b3c2ca7f968606ac7df16 100644 (file)
@@ -33,7 +33,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val tmp_dir : string
+(* Zack: no longer needed *)
+(* val tmp_dir : string *)
 val getter_url : string
 val processor_url : string
 val annotations_dir : string