From d2c5c5e616a6e118291fe1ce9965c731adac03a8 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 19 Jan 2014 15:09:23 +0100
Subject: Imported Upstream version 8.4pl3dfsg

---
 interp/topconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/topconstr.ml b/interp/topconstr.ml
index b02a67ea..dff8844d 100644
--- a/interp/topconstr.ml
+++ b/interp/topconstr.ml
@@ -1075,7 +1075,7 @@ let fold_constr_expr_with_binders g f n acc = function
 	fold_local_binders g f n'
 	  (fold_local_binders g f n acc t lb) c lb) l acc
   | CCoFix (loc,_,_) ->
-      Pp.warning "Capture check in multiple binders not done"; acc
+      Pp.msg_warn "Capture check in multiple binders not done"; acc
 
 let free_vars_of_constr_expr c =
   let rec aux bdvars l = function
-- 
cgit v1.2.3