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.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/top_printers.mli')

diff --git a/dev/top_printers.mli b/dev/top_printers.mli
index 133326523b..ac9b63f60a 100644
--- a/dev/top_printers.mli
+++ b/dev/top_printers.mli
@@ -150,6 +150,7 @@ val ppuniverses : UGraph.t -> unit
 
 val ppnamedcontextval : Environ.named_context_val -> unit
 val ppenv : Environ.env -> unit
+val ppglobenv : GlobEnv.t -> unit
 val ppenvwithcst : Environ.env -> unit
 
 val pptac : Ltac_plugin.Tacexpr.glob_tactic_expr -> unit
-- 
cgit v1.2.3