Rmuser

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

diff --git a/src/domain.sig b/src/domain.sig
index a937624..642c0f4 100644 (file)
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -74,5 +74,5 @@ signature DOMAIN = sig
 
     val hasPriv : string -> bool
 
 
     val hasPriv : string -> bool
 

-    val rmdom : string -> unit
+    val rmdom : string list -> unit

 end
 end