From 2b1d3614362d4f1a18d28d8d324b7f275a62f5bf Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 3 May 2022 09:49:28 +0100
Subject: [PATCH] allow HTML comments to start with whitespace this is very
 deliberate as these comments should not appear in the pseudocode

---
 src/openpower/decoder/pseudo/pagereader.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/openpower/decoder/pseudo/pagereader.py b/src/openpower/decoder/pseudo/pagereader.py
index d5cae081..c075283b 100644
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -101,8 +101,8 @@ class ISA:
             # XXX this is braindead!  it doesn't look for the end
             # so please put ending of comments on one line:
             # <!-- line 1 comment -->
-            # <!-- line 2 comment -->
-            if l.startswith('<!--'):
+            # {some whitespace}<!-- line 2 comment -->
+            if l.strip().startswith('<!--'):
                 # print ("skipping comment", l)
                 l = lines.pop(0).rstrip()  # get first line
                 continue
-- 
2.30.2