diff options
| author | Hugo Herbelin | 2014-09-29 18:16:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-29 18:16:03 +0200 |
| commit | 5e5523f9e3211052f537cc90841fc295c67fc07f (patch) | |
| tree | 964d38ea81399aa3c7ee09b2228a719231afbf5d | |
| parent | a08733fb871b336e122d65c446bc344a3894cfaf (diff) | |
Printing evar instance in a more intuitive order.
| -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 |