Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)

urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb