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/vmbytegen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/vmbytegen.ml')

diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml
index 16a0f42664..6899ebe1a6 100644
--- a/kernel/vmbytegen.ml
+++ b/kernel/vmbytegen.ml
@@ -770,7 +770,7 @@ let rec compile_lam env cenv lam sz cont =
     let cont = code_makeblock ~stack_size:(sz+arity-1) ~arity ~tag cont in
     comp_args (compile_lam env) cenv args sz cont
 
-  | Lprim (Some (kn,u), op, args) when is_caml_prim op ->
+  | Lprim ((kn,u), op, args) when is_caml_prim op ->
     let arity = CPrimitives.arity op in
     let nparams = CPrimitives.nparams op in
     let nargs = arity - nparams in
-- 
cgit v1.2.3