X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Fhelm_registry.mli;h=1ef1aa3b7749c2ca6a913dc75ffcf6c0fe3f1f6a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1f7fd0b56dcb70ab8e8dd0c82ee292abb920588a;hpb=bae55b6a8409d2a5b852544c26283a926ba01abf;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.mli b/helm/ocaml/registry/helm_registry.mli
index 1f7fd0b56..1ef1aa3b7 100644
--- a/helm/ocaml/registry/helm_registry.mli
+++ b/helm/ocaml/registry/helm_registry.mli
@@ -194,3 +194,6 @@ val save_to: string -> unit
    *)
 val load_from: ?path:string list -> string -> unit
 
+  (** removes all keys *)
+val clear: unit -> unit 
+