File uploading

[helm.git] / matitaB / matita / matitaAuthentication.mli

diff --git a/matitaB/matita/matitaAuthentication.mli b/matitaB/matita/matitaAuthentication.mli
index e47df783c1ca36adf5517572ba28d0fd52e5a694..41f0304af736c5ae49cfd5f1f99b09f5ae4f320e 100644 (file)
--- a/matitaB/matita/matitaAuthentication.mli
+++ b/matitaB/matita/matitaAuthentication.mli
@@ -52,3 +52,5 @@ val serialize : unit -> unit
 val deserialize : unit -> unit
 
 val add_user : string -> string -> unit
+
+val reset : unit -> unit