summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/mono_opt.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index cc85f05b..7e737e44 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -161,7 +161,7 @@ fun unAs s =
doChars (String.explode s, [])
end
-fun checkUrl s = CharVector.all Char.isGraph s andalso Settings.checkUrl s
+fun checkUrl s = CharVector.all Char.isGraph s andalso (s = "#" orelse Settings.checkUrl s)
val checkData = CharVector.all (fn ch => Char.isAlphaNum ch
orelse ch = #"_"
orelse ch = #"-")