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.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/vmbytecodes.ml')

diff --git a/kernel/vmbytecodes.ml b/kernel/vmbytecodes.ml
index c156a21c86..a1dea977cd 100644
--- a/kernel/vmbytecodes.ml
+++ b/kernel/vmbytecodes.ml
@@ -60,7 +60,7 @@ type instruction =
   | Kproj of Projection.Repr.t
   | Kensurestackcapacity of int
   | Kbranch of Label.t                  (* jump to label *)
-  | Kprim of CPrimitives.t * pconstant option
+  | Kprim of CPrimitives.t * pconstant
   | Kcamlprim of CPrimitives.t * Label.t
   | Kareint of int
 
@@ -146,7 +146,7 @@ let rec pp_instr i =
   | Kensurestackcapacity size -> str "growstack " ++ int size
 
   | Kprim (op, id) -> str (CPrimitives.to_string op) ++ str " " ++
-        (match id with Some (id,_u) -> Constant.print id | None -> str "")
+        (Constant.print (fst id))
 
   | Kcamlprim (op, lbl) ->
     str "camlcall " ++ str (CPrimitives.to_string op) ++ spc () ++
-- 
cgit v1.2.3