diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/ppconstr.ml b/parsing/ppconstr.ml index 4ce7fbbc6b..1c9eb1e2a2 100644 --- a/parsing/ppconstr.ml +++ b/parsing/ppconstr.ml @@ -167,7 +167,7 @@ let pr_evar pr n l = spc () ++ pr_in_comment (fun l -> str"[" ++ hov 0 (prlist_with_sep pr_coma (pr ltop) l) ++ str"]") - l + (List.rev l) | None -> mt())) let las = lapp |