diff options
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 058dc2447a..e1f41e3818 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -180,7 +180,7 @@ let pr_evar pr id l = | [] -> mt() | l -> let f (id,c) = pr_id id ++ str ":=" ++ pr ltop c in - str"@{" ++ hov 0 (prlist_with_sep pr_semicolon f l) ++ str"}")) + str"@{" ++ hov 0 (prlist_with_sep pr_semicolon f (List.rev l)) ++ str"}")) let las = lapp let lpator = 100 |