From bdd5b25aa003be9448edcc535e0fdbc07aa4dcba Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Mon, 31 Jul 2023 21:49:57 -0700
Subject: [PATCH] ignore indented comments too

---
 src/openpower/decoder/pseudo/pagereader.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/openpower/decoder/pseudo/pagereader.py b/src/openpower/decoder/pseudo/pagereader.py
index a3db0ffb..069c44e5 100644
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -360,7 +360,7 @@ class ISA:
                     li = f.readlines()
                 for i, l in enumerate(li):
                     l = l.rstrip()
-                    if l.startswith("<!--"):
+                    if l.strip().startswith("<!--"):
                         l = ""
                     elif l != "":
                         assert l.startswith("    "), \
-- 
2.30.2