From 5e5523f9e3211052f537cc90841fc295c67fc07f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 29 Sep 2014 18:16:03 +0200
Subject: Printing evar instance in a more intuitive order.

---
 printing/ppconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3