aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pc.l6
1 files changed, 3 insertions, 3 deletions
diff --git a/pc.l b/pc.l
index 657f080..509b6cf 100644
--- a/pc.l
+++ b/pc.l
@@ -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} ;