From d150ef80defc41eb8ed4913ac13e01b04b795ab7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 24 Oct 2014 16:26:34 +0200
Subject: Fix retroknowledge for int31 division.

Was broken accidentally by 5b0769b33, slowing down vm_compute and native_compute
on numeric computations.
---
 kernel/environ.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index c3e59487cb..a3a579ee0e 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -660,8 +660,8 @@ fun rk value field ->
 							   Primitives.Int31mulc
     | KInt31 (_, Int31Div21) -> int31_op_from_const 3 Cbytecodes.Kdiv21int31
                                                            Primitives.Int31div21
-    | KInt31 (_, Int31Div) -> int31_binop_from_const Cbytecodes.Kdivint31
-							 Primitives.Int31div
+    | KInt31 (_, Int31Diveucl) -> int31_binop_from_const Cbytecodes.Kdivint31
+							 Primitives.Int31diveucl
     | KInt31 (_, Int31AddMulDiv) -> int31_op_from_const 3 Cbytecodes.Kaddmuldivint31
                                                          Primitives.Int31addmuldiv
     | KInt31 (_, Int31Compare) -> int31_binop_from_const Cbytecodes.Kcompareint31
-- 
cgit v1.2.3