From 3565719c7a0790ac3ec795430081725589e69d42 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@quviq.com>
Date: Fri, 6 Sep 2019 14:48:37 +0200
Subject: [PATCH] New opcodes after renumbering

---
 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 e412dfd..c2b8f87 100644
--- a/quickcheck/aefate_code_eqc.erl
+++ b/quickcheck/aefate_code_eqc.erl
@@ -77,7 +77,7 @@ prop_opcodes() ->
 
 
 valid_opcodes() ->
-    lists:seq(0, 16#7f) ++ lists:seq(16#fa, 16#fd).
+    lists:seq(0, 16#7d) ++ lists:seq(16#fa, 16#fd).
 
 
 fate_code(Failure) ->