From c2d25d8c763714023412b06caf3e986a46647694 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 9 Jun 2015 16:44:23 +0100
Subject: remove superfluous num_to_bits; replaced by bit_list_of_integer

---
 src/lem_interp/interp_inter_imp.lem | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 26a44539..15a1653f 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -111,10 +111,6 @@ let intern_ifield_value direction v =
   let direction = intern_direction direction in
   Interp.V_vector (if Interp.is_inc direction then 0 else (List.length(bits) -1)) direction bits
 
-let num_to_bits size kind num =
-(* 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
-
 let extern_slice (d:direction) (start:nat) ((i,j):(nat*nat)) =
   match d with
     | D_increasing -> (i,j) (*This is the case the thread/concurrecny model expects, so no change needed*)
-- 
cgit v1.2.3