Fix regeneration of multi-file dependencies

[hcoop/domtool2.git] / src / dbms.sig

diff --git a/src/dbms.sig b/src/dbms.sig
index b600d9d..ab6772e 100644 (file)
--- a/src/dbms.sig
+++ b/src/dbms.sig
@@ -26,7 +26,8 @@ signature DBMS = sig
                    adduser : {user : string, passwd : string option} -> string option,
                    passwd : {user : string, passwd : string} -> string option,
                    createdb : {user : string, dbname : string} -> string option,
-                   dropdb : {user : string, dbname : string} -> string option}
+                   dropdb : {user : string, dbname : string} -> string option,
+                   grant : {user : string, dbname : string} -> string option}
 
     val register : string * handler -> unit
     val lookup : string -> handler option