From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Dec 2007 02:23:16 +0000 (+0000)
Subject: Allow single quotes in no_newlines
X-Git-Tag: release_2010-11-19~101
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/5e3ad5d2b6de3ed66e2f4ea4fa4a0de1b4881f1d?ds=sidebyside

Allow single quotes in no_newlines
---

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