From 496903ac636a728a8f8baaf14bd8bede5e147343 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Thu, 15 Jun 2023 22:13:07 -0700
Subject: [PATCH] Fix parsing of beginning-of-line Coq comments

---
 main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.py b/main.py
index e00c252..37a90e2 100644
--- a/main.py
+++ b/main.py
@@ -22,7 +22,7 @@ def check_coq(coq: str) -> Tuple[str, bool]:
         if line == "":
             continue
         # If the line starts with a coq comment,  skip it
-        if line[0] == "(":
+        if line.strip()[:2] == "(*":
             continue
 
         # Execute the line