diff options
-rw-r--r-- | pc.l | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -17,15 +17,15 @@ id [A-Za-z][A-Za-z0-9_]* %% -<COMMENT>. {} -<COMMENT>\n {} - ^[ \t]*"{" {BEGIN COMMENT;} <COMMENT>"}" {BEGIN INITIAL;} ^[ \t]*"(*" {BEGIN COMMENT;} <COMMENT>"*)" {BEGIN INITIAL;} +<COMMENT>. {} +<COMMENT>\n {} + {whitespace} ; |