From ea4ead6ad589e4dab02244c1fa655bddd45a9610 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 1 Oct 2000 15:37:50 +0000
Subject: Renommage AppL en App

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

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index d7b2306ccf..12e8ed33b5 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -90,7 +90,7 @@ let constr_display csr =
   | IsLetIn (na,b,t,c) ->
       "LetIn("^(name_display na)^","^(term_display b)^","
       ^(term_display t)^","^(term_display c)^")"
-  | IsAppL (c,l) -> "App("^(term_display c)^","^(array_display l)^")"
+  | IsApp (c,l) -> "App("^(term_display c)^","^(array_display l)^")"
   | IsEvar (e,l) -> "Evar("^(string_of_int e)^","^(array_display l)^")"
   | IsConst (c,l) -> "Const("^(string_of_path c)^","^(array_display l)^")"
   | IsMutInd ((sp,i),l) ->
-- 
cgit v1.2.3