From 5e3ad5d2b6de3ed66e2f4ea4fa4a0de1b4881f1d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Dec 2007 02:23:16 +0000
Subject: [PATCH] Allow single quotes in no_newlines

---
 src/domain.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.20.1