From 2fcc1972c06a7d6ff3b30c9285ed23c6bd7b0b09 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 23 Nov 2014 17:10:02 +0000
Subject: the properly named "git"

---
 src/lem_interp/interp_inter_imp.lem | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index f979b9d9..e1ec6696 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -104,7 +104,10 @@ let intern_ifield_value v =
 *)
 
 let num_to_bits size kind num =
-  failwith "TODO: num_to_bits needed in src_power_get/trans_sail.gen"
+(* num_to_bits needed in src_power_get/trans_sail.gen - rather than reengineer the generation, we include a wrapper here *) 
+  Interp_interface.bit_list_of_integer size num
+
+
 (*
   match kind with
     | Bitv -> Bitvector (match (Interp_lib.to_vec_inc 
-- 
cgit v1.2.3