From 15f965c9e4bd39eb7fe97552b9ac9db51a3cdbfb Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 18 Apr 2018 15:32:39 +0100
Subject: Move a few printing functions to sail_values.lem

They are used in various specs and test cases.
---
 mips/mips_extras.lem | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'mips')

diff --git a/mips/mips_extras.lem b/mips/mips_extras.lem
index d4c79d7a..28fa07fb 100644
--- a/mips/mips_extras.lem
+++ b/mips/mips_extras.lem
@@ -80,17 +80,6 @@ let read_ram _ size _ addr = MEMr addr size
 let string_of_bits bs = string_of_bv (bits_of bs)
 let string_of_int = show
 
-val prerr_endline : string -> unit
-let prerr_endline _ = ()
-declare ocaml target_rep function prerr_endline = `prerr_endline`
-
-val print_int : string -> integer -> unit
-let print_int msg i = prerr_endline (msg ^ (stringFromInteger i))
-
-val putchar : integer -> unit
-let putchar _ = ()
-declare ocaml target_rep function putchar i = (`print_char` (`char_of_int` (`Nat_big_num.to_int` i)))
-
 let _sign_extend bits len = maybe_failwith (of_bits (exts_bv len bits))
 let _zero_extend bits len = maybe_failwith (of_bits (extz_bv len bits))
 
-- 
cgit v1.2.3