From aa4b3786a72351b918213353f4c92e3a3601f9b1 Mon Sep 17 00:00:00 2001
From: Dmitry Selyutin <ghostmansd@gmail.com>
Date: Tue, 16 Jan 2024 22:09:45 +0300
Subject: [PATCH] oppc: emit header include directive

---
 src/openpower/oppc/__main__.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/openpower/oppc/__main__.py b/src/openpower/oppc/__main__.py
index 846f3ab8..69289712 100644
--- a/src/openpower/oppc/__main__.py
+++ b/src/openpower/oppc/__main__.py
@@ -30,6 +30,8 @@ for insn in db:
         print(insn.pcode)
         raise exc
 
+print("#include <oppc.h>")
+print()
 for (handler, code) in table.items():
     print("void")
     print(f"{handler}(struct oppc_value const *insn) {{")
-- 
2.30.2