diff options
-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>. {} |