From 7ae876ab6246a9c9d352b7c72d3f98db47ff456c Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 14 Oct 2015 17:17:38 +0200
Subject: Remove now useless exception handler in default conversion.

---
 kernel/reduction.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'kernel')

diff --git a/kernel/reduction.ml b/kernel/reduction.ml
index ccea06c761..9479e38ca8 100644
--- a/kernel/reduction.ml
+++ b/kernel/reduction.ml
@@ -739,11 +739,7 @@ let vm_conv cv_pb env t1 t2 =
       fconv cv_pb false (fun _->None) env t1 t2
 
 let default_conv cv_pb ?(l2r=false) env t1 t2 =
-  try
     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
 
 let default_conv_leq = default_conv CUMUL
 (*
-- 
cgit v1.2.3