From c571cdbbcac5cb4b4a5a19ab2f7ac51222316292 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 13 Nov 2017 18:43:02 +0100
Subject: [api] Another large deprecation, `Nameops`

---
 engine/evd.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/evd.ml')

diff --git a/engine/evd.ml b/engine/evd.ml
index a1cb0ec68..8d465384b 100644
--- a/engine/evd.ml
+++ b/engine/evd.ml
@@ -380,7 +380,7 @@ let add_name_newly_undefined id evk evi (evtoid, idtoev as names) =
   | None -> names
   | Some id ->
     if Id.Map.mem id idtoev then
-      user_err  (str "Already an existential evar of name " ++ pr_id id);
+      user_err  (str "Already an existential evar of name " ++ Id.print id);
     (EvMap.add evk id evtoid, Id.Map.add id evk idtoev)
 
 let add_name_undefined naming evk evi (evtoid,idtoev as evar_names) =
-- 
cgit v1.2.3