X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_map.mli;h=720484f31c1eca747a4738f5c6f746dce3c0065b;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=ae9cf319f0b8a39e2e95fe0d076eaaca263c0192;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751;p=helm.git

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index ae9cf319f..720484f31 100644
--- a/helm/http_getter/http_getter_map.mli
+++ b/helm/http_getter/http_getter_map.mli
@@ -33,6 +33,7 @@ class map:
   string ->
     object
       method add: string -> string -> unit
+      method replace: string -> string -> unit
       method remove: string -> unit
       method resolve: string -> string
       method iter: (string -> string -> unit) -> unit