From 11433bf38e586ae517d5caa3ddb82c283cb8a1b3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 19 Dec 2018 09:03:10 +0100
Subject: [PATCH] actually show warnings about suppressed output

---
 src/fn_call.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fn_call.rs b/src/fn_call.rs
index ab82223f234..ab38270724f 100644
--- a/src/fn_call.rs
+++ b/src/fn_call.rs
@@ -398,7 +398,7 @@ fn emulate_foreign_item(
                         Err(_) => -1,
                     }
                 } else {
-                    warn!("Ignored output to FD {}", fd);
+                    eprintln!("Miri: Ignored output to FD {}", fd);
                     n as i64 // pretend it all went well
                 }; // now result is the value we return back to the program
                 this.write_scalar(