From fdd16113a042170022dce276e53e7a3308c0451c Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 30 Aug 2020 09:05:39 +0200
Subject: Remove unchecked arithmetic operations from VM, as they are not used.

---
 kernel/vmbytecodes.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/vmbytecodes.mli')

diff --git a/kernel/vmbytecodes.mli b/kernel/vmbytecodes.mli
index b703058fb7..33071b917b 100644
--- a/kernel/vmbytecodes.mli
+++ b/kernel/vmbytecodes.mli
@@ -59,7 +59,7 @@ type instruction =
   | Kensurestackcapacity of int
 
   | Kbranch of Label.t                  (** jump to label, is it needed ? *)
-  | Kprim of CPrimitives.t * pconstant option
+  | Kprim of CPrimitives.t * pconstant
   | Kcamlprim of CPrimitives.t * Label.t
   | Kareint of int
 
-- 
cgit v1.2.3