From cece955c5ed3d044d0d23808c3ea93114febe8b0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 20 Feb 2020 01:49:17 +0100
Subject: Adding a printer for GlobEnv in ocamldebug.

---
 dev/top_printers.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev/top_printers.ml')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index f640a33773..e8129938a1 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -247,6 +247,8 @@ let ppenv e = pp
   (str "[" ++ pr_named_context_of e Evd.empty ++ str "]" ++ spc() ++
    str "[" ++ pr_rel_context e Evd.empty (rel_context e) ++ str "]")
 
+let ppglobenv e = ppenv (GlobEnv.env e)
+
 let ppenvwithcst e = pp
   (str "[" ++ pr_named_context_of e Evd.empty ++ str "]" ++ spc() ++
    str "[" ++ pr_rel_context e Evd.empty (rel_context e) ++ str "]" ++ spc() ++
-- 
cgit v1.2.3