Matitaweb: implementation of file-flagging for keeping track of modified files

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

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index 4d1bd50d8d244562ff6533f373350e3aee3fa54c..13d900bededee243daf1e0651f9b9628d4a285c4 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -30,7 +30,7 @@ val add_user : string -> unit
 
 val do_global_commit : unit -> string list
 
-val update_user : string -> (string * svn_flag list) list * string list
+val update_user : string -> (string * matita_flag option) list * string list
 
 val stat_user : string -> (string * svn_flag list) list * string list