From 8812851441f13aca6c7f7b1304e8a90ca105245e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 30 Nov 2014 02:39:46 +0100
Subject: Fixing printing of dirpathes in Ppconstr. It was reversed.

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

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 2d0e4e47dc..0c687a18e1 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -154,7 +154,7 @@ end) = struct
   let pr_qualid sp =
     let (sl, id) = repr_qualid sp in
     let id = tag_ref (str (Id.to_string id)) in
-    let sl = match DirPath.repr sl with
+    let sl = match List.rev (DirPath.repr sl) with
     | [] -> mt ()
     | sl ->
       let pr dir = tag_path (str (Id.to_string dir)) ++ str "." in
-- 
cgit v1.2.3