From 7532f3243ba585f21a8f594d3dc788e38dfa2cb8 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 3 Jul 2015 21:28:04 +0200
Subject: Hopefully clearer printing of stack when debugging evarconv
 unification.

---
 pretyping/reductionops.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pretyping/reductionops.ml b/pretyping/reductionops.ml
index dc70f36ccf..2892de7c45 100644
--- a/pretyping/reductionops.ml
+++ b/pretyping/reductionops.ml
@@ -306,7 +306,9 @@ struct
     | Update t -> str "ZUpdate(" ++ pr_c t ++ str ")"
   and pr pr_c l =
     let open Pp in
-    prlist_with_sep pr_semicolon (fun x -> hov 1 (pr_member pr_c x)) l
+    str "[" ++
+    prlist_with_sep pr_semicolon (fun x -> hov 1 (pr_member pr_c x)) l ++
+    str "]"
 
   and pr_cst_member pr_c c =
     let open Pp in
-- 
cgit v1.2.3