From 2c5bbd6f7fbfdf32bafab50e36a1bebcd7cd8dab Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 17 May 2018 17:26:16 +0100
Subject: changes to for testing FreeBSD boot on MIPS: allowing loading raw
 file in ocaml main so that we can have simboot + kernel. Support UART output
 only.

---
 src/sail_lib.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 47acae88..21a84af8 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -523,13 +523,13 @@ let real_of_string str =
 let sqrt_real x = failwith "sqrt_real" (* real_of_string (string_of_float (sqrt (Num.float_of_num x))) *)
 
 let print_int (str, x) =
-  print_endline (str ^ Big_int.to_string x)
+  prerr_endline (str ^ Big_int.to_string x)
 
 let print_bits (str, xs) =
-  print_endline (str ^ string_of_bits xs)
+  prerr_endline (str ^ string_of_bits xs)
 
 let print_string(str, msg) =
-  print_endline (str ^ msg)
+  prerr_endline (str ^ msg)
 
 let reg_deref r = !r
 
-- 
cgit v1.2.3