diff options
author | Tucker Evans <tuckerevans24@gmail.com> | 2019-09-30 16:43:14 -0400 |
---|---|---|
committer | Tucker Evans <tuckerevans24@gmail.com> | 2019-09-30 16:43:14 -0400 |
commit | 4509eb5ac0a2150986933495cf0a3ae9a1d24e53 (patch) | |
tree | 3d4a0f9319ef5f7297981549024d14e9237ebb2a | |
parent | 3134c0f655d80bac47be7c4bfb928bc8975ed6ea (diff) |
Fix comments
Comments required only whitespace before them.
-rw-r--r-- | pc.l | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,10 +17,10 @@ id [A-Za-z][A-Za-z0-9_]* %% -^[ \t]*"{" {BEGIN COMMENT;} +"{" {BEGIN COMMENT;} <COMMENT>"}" {BEGIN INITIAL;} -^[ \t]*"(*" {BEGIN COMMENT;} +"(*" {BEGIN COMMENT;} <COMMENT>"*)" {BEGIN INITIAL;} <COMMENT>. {} |