X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_map.mli;h=3e0cd0878915e93d0643f3a22a95709f963a0db7;hb=e7ab167b72dc48d260d82060949e8ebe7d27764c;hp=d3402eea33c8346976b39cef717dbafd0867f738;hpb=853195c8cae7b029f3e500a5b712a67cf4467e84;p=helm.git

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index d3402eea3..3e0cd0878 100644
--- a/helm/http_getter/http_getter_map.mli
+++ b/helm/http_getter/http_getter_map.mli
@@ -34,5 +34,6 @@ class map:
       method remove: string -> unit
       method resolve: string -> string
       method iter: (string -> string -> unit) -> unit
+      method sync: unit
       method clear: unit
     end