aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTucker Evans <tuckerevans24@gmail.com>2019-07-14 13:22:42 -0400
committerTucker Evans <tuckerevans24@gmail.com>2019-07-14 13:22:42 -0400
commitd24060934bc75ebd827981e75183be7610ac63f5 (patch)
treece65b4e66579f4fe628e172e8103f6f6a18d827e
parent8d7ae7450d80bb4ffee54cee40e56a0023e62889 (diff)
Fix comment states
-rw-r--r--pc.l2
1 files changed, 1 insertions, 1 deletions
diff --git a/pc.l b/pc.l
index f1ac84f..f4f4366 100644
--- a/pc.l
+++ b/pc.l
@@ -19,7 +19,7 @@ id [A-Za-z][A-Za-z0-9_]*
<COMMENT>\n {}
^[ \t]*"{" {BEGIN COMMENT;}
-<COMMENT> "}" {BEGIN INITIAL;}
+<COMMENT>"}" {BEGIN INITIAL;}
^[ \t]*"(*" {BEGIN COMMENT;}
<COMMENT>"*)" {BEGIN INITIAL;}