diff options
| author | herbelin | 2000-10-01 15:37:50 +0000 |
|---|---|---|
| committer | herbelin | 2000-10-01 15:37:50 +0000 |
| commit | ea4ead6ad589e4dab02244c1fa655bddd45a9610 (patch) | |
| tree | 140844b488e0a10db8054efb17368e1a5f7338e6 /dev | |
| parent | 2f0c35cfcbab959bad20f436849c74ec63910f51 (diff) | |
Renommage AppL en App
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@635 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/top_printers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) -> |