From 643832c053e0255dd356231f4e5887db0228c2cd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 7 Sep 2017 16:28:55 +0200
Subject: Slightly better printing for anonymous closures.

---
 src/tac2entries.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2entries.ml b/src/tac2entries.ml
index d596a61152..7cffdc6590 100644
--- a/src/tac2entries.ml
+++ b/src/tac2entries.ml
@@ -757,7 +757,7 @@ let _ = Goptions.declare_bool_option {
 }
 
 let pr_frame = function
-| FrAnon e -> str "Call <anonymous:" ++ pr_glbexpr e ++ str ">"
+| FrAnon e -> str "Call {" ++ pr_glbexpr e ++ str "}"
 | FrLtac kn ->
   str "Call " ++ Libnames.pr_qualid (Tac2env.shortest_qualid_of_ltac (TacConstant kn))
 | FrPrim ml ->
-- 
cgit v1.2.3