X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/44a5ce2fefb401654d7578db21f7e4e88b60b851..d541c6185fb0f426dce0b16e85327b53635169e0:/src/main.sig

diff --git a/src/main.sig b/src/main.sig
index f8d6b94..d6c64c5 100644
--- a/src/main.sig
+++ b/src/main.sig
@@ -48,4 +48,6 @@ signature MAIN = sig
     val listBasis : unit -> string list
     val autodocBasis : string -> unit
 
+    val requestDbUser : string -> unit
+
 end