From 80b91aa1e83097efd006cfed5f57e4826a1ab0c8 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 1 Jun 2012 19:53:57 +0000
Subject: Cleaning Pp.ppnl use

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15413 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/classops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index cc664f9b54..87740d618e 100644
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -324,7 +324,7 @@ let add_coercion_in_graph (ic,source,target) =
       old_inheritance_graph
   end;
   if (!ambig_paths <> []) && is_verbose () then
-    ppnl (message_ambig !ambig_paths)
+    msg_warning (message_ambig !ambig_paths)
 
 type coercion = coe_typ * locality * bool * cl_typ * cl_typ * int
 
-- 
cgit v1.2.3