From 4a90e3b2b4f04246d95c3479522e664aa245e0eb Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Tue, 28 May 2019 12:23:21 +0200
Subject: [PATCH] Add two more opcodes

---
 quickcheck/aefate_code_eqc.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quickcheck/aefate_code_eqc.erl b/quickcheck/aefate_code_eqc.erl
index 3ac03da..45fc6b8 100644
--- a/quickcheck/aefate_code_eqc.erl
+++ b/quickcheck/aefate_code_eqc.erl
@@ -44,7 +44,7 @@ prop_opcodes() ->
 
 
 valid_opcodes() ->
-    lists:seq(0, 16#6f) ++ lists:seq(16#fa, 16#ff).
+    lists:seq(0, 16#72) ++ lists:seq(16#fa, 16#ff).
 
 
 fate_code() ->