From b3748d72cec999467250216a002d6403093622d0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 9 Oct 2018 21:30:55 +0200
Subject: Generalizing the various evar_map printers in Termops over an
 environment.

This is a step towards limiting calls to the global environment.

Incidentally unify naming evd -> sigma in Termops.
---
 plugins/ltac/rewrite.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/ltac/rewrite.ml b/plugins/ltac/rewrite.ml
index 9f7669f1d5..8b2721ae4e 100644
--- a/plugins/ltac/rewrite.ml
+++ b/plugins/ltac/rewrite.ml
@@ -1492,7 +1492,7 @@ let cl_rewrite_clause_aux ?(abs=None) strat env avoid sigma concl is_hyp : resul
 	   if not (Evd.is_defined acc ev) then 
 	     user_err ~hdr:"rewrite"
 			  (str "Unsolved constraint remaining: " ++ spc () ++
-			   Termops.pr_evar_info (Evd.find acc ev))
+                           Termops.pr_evar_info env acc (Evd.find acc ev))
 	   else Evd.remove acc ev) 
 	  cstrs evars'
       in
-- 
cgit v1.2.3