From 39b13903e7a6824f4405f61bb4b41a30cfbd0b3c Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 9 Dec 2015 12:30:32 +0100
Subject: CLEANUP: in the Reduction module

---
 engine/evd.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine')

diff --git a/engine/evd.ml b/engine/evd.ml
index 425b67e080..2060141644 100644
--- a/engine/evd.ml
+++ b/engine/evd.ml
@@ -926,10 +926,10 @@ let update_sigma_env evd env =
 let test_conversion_gen env evd pb t u =
   match pb with 
   | Reduction.CONV -> 
-    Reduction.trans_conv_universes 
+    Reduction.conv_universes 
       full_transparent_state ~evars:(existential_opt_value evd) env 
       (UState.ugraph evd.universes) t u
-  | Reduction.CUMUL -> Reduction.trans_conv_leq_universes
+  | Reduction.CUMUL -> Reduction.conv_leq_universes
      full_transparent_state ~evars:(existential_opt_value evd) env 
       (UState.ugraph evd.universes) t u
 
-- 
cgit v1.2.3