X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fconfiguration.mli;h=20daaa411c34b571f99b3c2ca7f968606ac7df16;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=4d0bfbc01a6ef25a67cf597dbc099bf9fe3ef731;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git

diff --git a/helm/ocaml/getter/configuration.mli b/helm/ocaml/getter/configuration.mli
index 4d0bfbc01..20daaa411 100644
--- a/helm/ocaml/getter/configuration.mli
+++ b/helm/ocaml/getter/configuration.mli
@@ -33,15 +33,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val helm_dir : string
-val dtd_dir : string
-val style_dir : string
-val servers_file : string
-val uris_dbm : string
-val dest : string
-val indexname : string
-val tmp_dir : string
-val helm_dir : string
+(* Zack: no longer needed *)
+(* val tmp_dir : string *)
 val getter_url : string
 val processor_url : string
 val annotations_dir : string