From fca88463c50ec7d27dc2670972f13a6015905f64 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 23 Apr 2018 17:10:55 +0100
Subject: starting to also do integer support

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

(limited to 'src/value.ml')

diff --git a/src/value.ml b/src/value.ml
index 4848721d..1365b835 100644
--- a/src/value.ml
+++ b/src/value.ml
@@ -192,7 +192,7 @@ let value_string_drop = function
   | _ -> failwith "value string_drop"
 
 let value_string_length = function
-  | [v] -> V_int (coerce_string v |> Sail_lib.string_length |> Big_int.of_int)
+  | [v] -> V_int (coerce_string v |> Sail_lib.string_length)
   | _ -> failwith "value string_length"
 
 let value_length = function
-- 
cgit v1.2.3