X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fconfiguration.mli;h=20daaa411c34b571f99b3c2ca7f968606ac7df16;hb=d85b0968d751d57274b253f1fcf239aa171b8e69;hp=3dae0e000f388db2223a6c270cdaa91d7c028cc2;hpb=fcd8c85d7834c7f35b1d04c55c87dfa9a0d96438;p=helm.git

diff --git a/helm/ocaml/getter/configuration.mli b/helm/ocaml/getter/configuration.mli
index 3dae0e000..20daaa411 100644
--- a/helm/ocaml/getter/configuration.mli
+++ b/helm/ocaml/getter/configuration.mli
@@ -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