X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b096303256418167cb3d9f05e95ee13ef063dc20..5e3ad5d2b6de3ed66e2f4ea4fa4a0de1b4881f1d:/src/domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index f8464f2..94eb077 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -137,7 +137,7 @@ val _ = Env.type_one "no_spaces"
 val _ = Env.type_one "no_newlines"
 		     Env.string
 		     (CharVector.all (fn ch => Char.isPrint ch andalso ch <> #"\n" andalso ch <> #"\r"
-					       andalso ch <> #"\"" andalso ch <> #"'"))
+					       andalso ch <> #"\""))
 
 val _ = Env.type_one "ip"
 	Env.string