aboutsummaryrefslogtreecommitdiff
path: root/kernel/genOpcodeFiles.ml
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
-rw-r--r--kernel/genOpcodeFiles.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index ca9985d079..6e79b431a5 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -82,8 +82,6 @@ let opcodes =
"GETFIELD0";
"GETFIELD1";
"GETFIELD";
- "SETFIELD0";
- "SETFIELD1";
"SETFIELD";
"PROJ";
"ENSURESTACKCAPACITY";