From 8347e409564c19963a55e88358eeb88dab6b865c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 4 Feb 2019 20:30:08 +0000
Subject: Add dec_str builtin to lem

---
 src/gen_lib/sail2_values.lem | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail2_values.lem b/src/gen_lib/sail2_values.lem
index f21a4772..5e6537a8 100644
--- a/src/gen_lib/sail2_values.lem
+++ b/src/gen_lib/sail2_values.lem
@@ -638,6 +638,9 @@ let string_of_bv v = show_bitlist (bits_of v)
 val print_bits : forall 'a. Bitvector 'a => string -> 'a -> unit
 let print_bits str v = print_endline (str ^ string_of_bv v)
 
+val dec_str : integer -> string
+let dec_str bv = show bv
+
 val concat_str : string -> string -> string
 let concat_str str1 str2 = str1 ^ str2
 
-- 
cgit v1.2.3