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