From: Dmitry Selyutin <ghostmansd@gmail.com>
Date: Sat, 10 Jun 2023 18:25:29 +0000 (+0300)
Subject: insndb/core: fix Record ppc field
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ea636e1b9712762ff045603b31d0df535e3ceb6;p=openpower-isa.git

insndb/core: fix Record ppc field
---

diff --git a/src/openpower/insndb/core.py b/src/openpower/insndb/core.py
index 4f421328..70e9c16c 100644
--- a/src/openpower/insndb/core.py
+++ b/src/openpower/insndb/core.py
@@ -937,7 +937,7 @@ class MarkdownRecord(Dataclass):
 class Record(Dataclass):
     name: str
     section: Section
-    ppc: PPCRecord
+    ppc: PPCMultiRecord
     fields: Fields
     mdwn: MarkdownRecord
     svp64: SVP64Record = None