formfeed no longer considered whitespace

diff --git a/scan.l b/scan.l
index 02d6dce45cf5d24036521d1c7da7c60bf76a5042..c91b792215b8aea0b314ec34b126cc9fb5c9f6e5 100644 (file)
--- a/scan.l
+++ b/scan.l
@@ -64,9 +64,9 @@
 %x FIRSTCCL CCL ACTION RECOVER BRACEERROR C_COMMENT ACTION_COMMENT
 %x ACTION_STRING PERCENT_BRACE_ACTION USED_LIST CODEBLOCK_2
 
-WS             [ \t\f]+
-OPTWS          [ \t\f]*
-NOT_WS         [^ \t\f\n]
+WS             [ \t]+
+OPTWS          [ \t]*
+NOT_WS         [^ \t\n]
 
 NL             \n|\r\n|\n\r