From f4c378288836ba74c96d196ba4fe93bcd966b1a6 Mon Sep 17 00:00:00 2001
From: Hans Svensson <hanssv@gmail.com>
Date: Thu, 22 Jun 2023 10:08:41 +0200
Subject: [PATCH] Patch check_numbering to allow for DBG_ at end

---
 src/aeb_fate_generate_ops.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aeb_fate_generate_ops.erl b/src/aeb_fate_generate_ops.erl
index 70d1aca..d71ef72 100644
--- a/src/aeb_fate_generate_ops.erl
+++ b/src/aeb_fate_generate_ops.erl
@@ -32,6 +32,7 @@ check_numbering(N, [T|Rest]) ->
     OpCode = element(2, T),
     case OpCode of
         N -> check_numbering(N+1, Rest);
+        16#f0 -> check_numbering(16#f0+1, Rest);
         16#fa -> check_numbering(16#fa+1, Rest);
         _ when OpCode < N -> {duplicate_opcode, OpCode};
         _ when OpCode > N -> {missing_opcode, N}