From 367df34f8a7ee619c0eb1c40cfa9d2bb432027ec Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 14 May 2019 14:10:09 +0200
Subject: Add aucontext debug printer

---
 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 cb32d2294c..2aa1808322 100644
--- a/dev/top_printers.mli
+++ b/dev/top_printers.mli
@@ -137,6 +137,7 @@ val prlev : Univ.Level.t -> Pp.t (* with global names (does this work?) *)
 val ppuniverse_set : Univ.LSet.t -> unit
 val ppuniverse_instance : Univ.Instance.t -> unit
 val ppuniverse_context : Univ.UContext.t -> unit
+val ppaucontext : Univ.AUContext.t -> unit
 val ppuniverse_context_set : Univ.ContextSet.t -> unit
 val ppuniverse_subst : Univ.universe_subst -> unit
 val ppuniverse_opt_subst : UnivSubst.universe_opt_subst -> unit
-- 
cgit v1.2.3