X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/77a8fca278b561808959fa1aa7d9f02c5cfe7720..e69e60ccf1aa77a40cd5b15c4361f378ce332a42:/src/domain.sig?ds=sidebyside diff --git a/src/domain.sig b/src/domain.sig index a937624..642c0f4 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -74,5 +74,5 @@ signature DOMAIN = sig val hasPriv : string -> bool - val rmdom : string -> unit + val rmdom : string list -> unit end