From 879f4e8a56dd9abc31eb8af8445c5c3d4fc77de7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 22 Nov 2014 23:33:59 +0000
Subject: Printing functions compiles again

---
 src/lem_interp/printing_functions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index 77716bfb..de6b24d5 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -60,7 +60,7 @@ let bit_lifted_to_string = function
 
 let reg_value_to_string v = 
   let l = List.length v.rv_bits in
-  let start = (string_of_int (Big_int.int_of_big_int v.rv_start)) in
+  let start = string_of_int v.rv_start in
   if List.mem l [8;16;32;64;128] then
     let bytes = Interp_inter_imp.to_bytes v.rv_bits in
     "0x" ^ "_" ^ start ^ "'" ^ bytes_to_string bytes
-- 
cgit v1.2.3