From db80daaf82a08a1475c65f7c82bffb63c7efd27a Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 14 Oct 2015 16:40:53 +0200
Subject: Temporary fix: kernel conversion needs to ignore l2r flag.

Stdlib does not compile when l2r flag is actually taken into account. We should
investigate...
---
 kernel/reduction.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/reduction.ml b/kernel/reduction.ml
index 68783780d3..ccea06c761 100644
--- a/kernel/reduction.ml
+++ b/kernel/reduction.ml
@@ -740,7 +740,7 @@ let vm_conv cv_pb env t1 t2 =
 
 let default_conv cv_pb ?(l2r=false) env t1 t2 =
   try
-    fconv cv_pb l2r (fun _ -> None) env t1 t2
+    fconv cv_pb false (fun _ -> None) env t1 t2
   with Not_found | Invalid_argument _ ->
       (* If compilation fails, fall-back to closure conversion *)
       fconv cv_pb false (fun _->None) env t1 t2
-- 
cgit v1.2.3