From ee49451b4b4f507835752d38f89cb67abd4e2361 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 5 Feb 2001 23:28:09 +0000
Subject: Restructuration de classops; évolution en une version mieux intégrée
 au reste du système; conséquences collatérales
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1329 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/coercion.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/coercion.ml b/pretyping/coercion.ml
index 428af0a4a..bd25f9351 100644
--- a/pretyping/coercion.ml
+++ b/pretyping/coercion.ml
@@ -49,7 +49,7 @@ let apply_coercion env p hj typ_cl =
   try 
     fst (List.fold_left
            (fun (ja,typ_cl) i -> 
-              let fv,b = coe_value i in
+              let fv,b = coercion_value i in
               let argl = (class_args_of typ_cl)@[ja.uj_val] in
               let jres = apply_coercion_args env argl fv in
               (if b then 
-- 
cgit v1.2.3