diff options
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) -> |