From 3c5903f1c2057c98ff2d1864d1d6727040b5f8fc Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 12 Feb 2005 11:31:04 +0000
Subject: Uniformisation de destApplication en destApp

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

(limited to 'kernel/vconv.ml')

diff --git a/kernel/vconv.ml b/kernel/vconv.ml
index a2c2cc770..5ef84adc7 100644
--- a/kernel/vconv.ml
+++ b/kernel/vconv.ml
@@ -299,7 +299,7 @@ let constructor_instantiate mind mib params ctyp =
     let sp = List.rev (Array.to_list params) in substl sp ctyp2
   
 let destApplication t =
-  try destApplication t 
+  try destApp t 
   with _ -> t,[||]
 
 let construct_of_constr_const env tag typ =
-- 
cgit v1.2.3