X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/41c58dafe735d17b7d3241bf248ca8806a355926..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/domain.sig

diff --git a/src/domain.sig b/src/domain.sig
index b30f3ec..a8de0de 100644
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -92,6 +92,7 @@ signature DOMAIN = sig
     val hasPriv : string -> bool
 
     val rmdom : string list -> unit
+    val rmdom' : string -> string list -> unit
 
     val homedirOf : string -> string
     val homedir : unit -> string