X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/12adf55a902b1d9bde677e4636530e5753857e05..8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c:/src/env.sig

diff --git a/src/env.sig b/src/env.sig
index e5f19e6..adb03ea 100644
--- a/src/env.sig
+++ b/src/env.sig
@@ -49,6 +49,7 @@ signature ENV = sig
 
     val int : int arg
     val string : string arg
+    val bool : bool arg
     val list : 'a arg -> 'a list arg
 
     val none : string -> (unit -> unit) -> action