aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pc.l4
1 files changed, 2 insertions, 2 deletions
diff --git a/pc.l b/pc.l
index ef4fbb0..a8cde6c 100644
--- a/pc.l
+++ b/pc.l
@@ -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>. {}