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;}