2 files changed, 1 insertions, 15 deletions
diff --git a/kernel/byterun/coq_fix_code.c b/kernel/byterun/coq_fix_code.c
index cd431dbf2e..1ffb323748 100644
--- a/kernel/byterun/coq_fix_code.c
+++ b/kernel/byterun/coq_fix_code.c
@@ -43,7 +43,7 @@ void init_arity () {
     arity[CONST0]=arity[CONST1]=arity[CONST2]=arity[CONST3]=
     arity[PUSHCONST0]=arity[PUSHCONST1]=arity[PUSHCONST2]=arity[PUSHCONST3]=
     arity[ACCUMULATE]=arity[STOP]=arity[MAKEPROD]=
-    arity[ISINT]=arity[AREINT2]=0;
+    0;
   /* instruction with one operand */
   arity[ACC]=arity[PUSHACC]=arity[POP]=arity[ENVACC]=arity[PUSHENVACC]=
     arity[PUSH_RETADDR]=arity[APPLY]=arity[APPTERM1]=arity[APPTERM2]=
diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c
index 74eb4973d0..67e6bed0d9 100644
--- a/kernel/byterun/coq_interp.c
+++ b/kernel/byterun/coq_interp.c
@@ -1558,20 +1558,6 @@ value coq_interprete
         Next;
       }
 
-      Instruct (ISINT){
-        print_instr("ISINT");
-        accu = (Is_uint63(accu)) ? coq_true : coq_false;
-        Next;
-      }
-
-      Instruct (AREINT2){
-        print_instr("AREINT2");
-        accu = (Is_uint63(accu) && Is_uint63(sp[0])) ? coq_true : coq_false;
-        sp++;
-        Next;
-      }
-
-
       Instruct (CHECKOPPFLOAT) {
         print_instr("CHECKOPPFLOAT");
         CheckFloat1();