From 27d453641446b3d35aa2211b94f949b57a88ebb2 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 1 Mar 2019 15:27:05 +0100
Subject: Stop accessing proof env via Pfedit in printers

This should make https://github.com/coq/coq/pull/9129 easier.
---
 plugins/firstorder/sequent.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/firstorder')

diff --git a/plugins/firstorder/sequent.ml b/plugins/firstorder/sequent.ml
index 5958fe8203..01b18e2f30 100644
--- a/plugins/firstorder/sequent.ml
+++ b/plugins/firstorder/sequent.ml
@@ -235,7 +235,7 @@ let print_cmap map=
       str "| " ++
       prlist Printer.pr_global l ++
       str " : " ++
-      Ppconstr.pr_constr_expr xc ++
+      Ppconstr.pr_constr_expr env sigma xc ++
       cut () ++
       s in
     (v 0
-- 
cgit v1.2.3