aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTucker Evans <tuckerevans24@gmail.com>2019-09-30 16:43:14 -0400
committerTucker Evans <tuckerevans24@gmail.com>2019-09-30 16:43:14 -0400
commit4509eb5ac0a2150986933495cf0a3ae9a1d24e53 (patch)
tree3d4a0f9319ef5f7297981549024d14e9237ebb2a
parent3134c0f655d80bac47be7c4bfb928bc8975ed6ea (diff)
Fix comments
Comments required only whitespace before them.
-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>. {}