From 4509eb5ac0a2150986933495cf0a3ae9a1d24e53 Mon Sep 17 00:00:00 2001 From: Tucker Evans Date: Mon, 30 Sep 2019 16:43:14 -0400 Subject: Fix comments Comments required only whitespace before them. --- pc.l | 4 ++-- 1 file 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;} "}" {BEGIN INITIAL;} -^[ \t]*"(*" {BEGIN COMMENT;} +"(*" {BEGIN COMMENT;} "*)" {BEGIN INITIAL;} . {} -- cgit v1.1