From d1dc6347fb9aa0659f8a8e824c33937d6bfb6e3e Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 28 Aug 2020 16:39:18 +0200
Subject: Enrich `evar_map` printer with future goals stack

This is a useful for debugging.
---
 engine/evd.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'engine/evd.mli')

diff --git a/engine/evd.mli b/engine/evd.mli
index db5265ca0a..5c7a529b9c 100644
--- a/engine/evd.mli
+++ b/engine/evd.mli
@@ -392,6 +392,8 @@ val shelve_on_future_goals : Evar.t list -> evar_map -> evar_map
 
 val remove_future_goal : evar_map -> Evar.t -> evar_map
 
+val pr_future_goals_stack : evar_map -> Pp.t
+
 val give_up : Evar.t -> evar_map -> evar_map
 
 val given_up : evar_map -> Evar.Set.t
-- 
cgit v1.2.3