From 2f0c35cfcbab959bad20f436849c74ec63910f51 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 1 Oct 2000 15:16:57 +0000
Subject: Renommage AppL en App

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@634 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/typeops.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/typeops.ml')

diff --git a/kernel/typeops.ml b/kernel/typeops.ml
index c4e177d44e..74b207209d 100644
--- a/kernel/typeops.ml
+++ b/kernel/typeops.ml
@@ -616,7 +616,7 @@ let rec check_subterm_rec_meta env sigma vectn k def =
 	    (array_for_all (check_rec_call n lst) la) &&
             (List.for_all (check_rec_call n lst) l)
 
-	| IsAppL (f,la) -> 
+	| IsApp (f,la) -> 
 	    (check_rec_call n lst f) &&
 	    (array_for_all (check_rec_call n lst) la) &&
             (List.for_all (check_rec_call n lst) l)
@@ -831,7 +831,7 @@ let control_only_guard env sigma =
     | IsMutConstruct (_,cl) -> Array.iter control_rec cl
     | IsConst (_,cl)        -> Array.iter control_rec cl
     | IsEvar (_,cl)         -> Array.iter control_rec cl
-    | IsAppL (_,cl)         -> Array.iter control_rec cl
+    | IsApp (_,cl)         -> Array.iter control_rec cl
     | IsCast (c1,c2)       -> control_rec c1; control_rec c2
     | IsProd (_,c1,c2)     -> control_rec c1; control_rec c2
     | IsLambda (_,c1,c2)   -> control_rec c1; control_rec c2
-- 
cgit v1.2.3