From 3a7f71003f35d88d41ad2b78a59b3cbb2058612c Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 23 Nov 2014 00:13:46 +0000
Subject: wib

---
 src/lem_interp/interp_interface.lem | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 6fb9b713..e84cb358 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -406,6 +406,7 @@ val add_address_int : address -> int -> address
 val clear_low_order_bits_of_address : address -> address 
 
 
+val memory_value_length : memory_value -> integer
 
 (* coercions *)
 val integer_of_address : address -> integer 
-- 
cgit v1.2.3