From 77a88876bd26f58c11a1a850ab73022db433fccd Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 1 Oct 2023 10:40:34 +0100
Subject: [PATCH 1/1] Revert "ignore indented comments too"

This reverts commit 60f9f523f78cae9e357b61e6bc55ca1b323dfa14.
---
 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 e6875769..5cab669c 100644
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -361,7 +361,7 @@ class ISA:
                     li = f.readlines()
                 for i, l in enumerate(li):
                     l = l.rstrip()
-                    if l.strip().startswith("<!--"):
+                    if l.startswith("<!--"):
                         l = ""
                     elif l != "":
                         assert l.startswith("    "), \
-- 
2.30.2