- added maps sync

[helm.git] / helm / http_getter / http_getter_map.mli

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index d3402eea33c8346976b39cef717dbafd0867f738..3e0cd0878915e93d0643f3a22a95709f963a0db7 100644 (file)
--- 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