From 90f4906af7b4369d6759e5edbbf8a3aaac4d77e6 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Mon, 25 Jun 2018 19:40:43 +0100
Subject: Support bitlist representation in Sail2_string

---
 mips/mips_extras.lem | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'mips')

diff --git a/mips/mips_extras.lem b/mips/mips_extras.lem
index 4e570a6f..2e07586c 100644
--- a/mips/mips_extras.lem
+++ b/mips/mips_extras.lem
@@ -77,7 +77,6 @@ let write_ram _ size _ addr data =
 
 let read_ram _ size _ addr = MEMr addr size
 
-let string_of_bits bs = string_of_bv (bits_of bs)
 let string_of_int = show
 
 let shift_bits_left v n =
@@ -113,7 +112,7 @@ val elf_entry : unit -> integer
 let elf_entry () = 0
 declare ocaml target_rep function elf_entry = `Elf_loader.elf_entry`
 
-let print_bits msg bs = prerr_endline (msg ^ (string_of_bits bs))
+let print_bits msg bs = prerr_endline (msg ^ (string_of_bv bs))
 
 val get_time_ns : unit -> integer
 let get_time_ns () = 0
-- 
cgit v1.2.3