From d009572893913b889320f2fa3435543ee4c63f82 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 27 Dec 2020 10:36:31 +0100
Subject: Remove PUSHACC0, as it is strictly equivalent to PUSH.

---
 kernel/genOpcodeFiles.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/genOpcodeFiles.ml')

diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index dc2cd349ce..e2932ec330 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -28,7 +28,6 @@ let opcodes =
     "ACC7";
     "ACC";
     "PUSH";
-    "PUSHACC0";
     "PUSHACC1";
     "PUSHACC2";
     "PUSHACC3";
-- 
cgit v1.2.3