From 01616d17d447f87dcc9f68c7d8d5a12d0ed0b169 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 18 Nov 2014 18:40:48 +0000
Subject: fix bad type annotation in interp_interface

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

(limited to 'src')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index ee2107d6..2e782f65 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -249,7 +249,7 @@ val decode_to_instruction : context -> value -> instruction_or_decode_error
 val instruction_to_istate : context -> instruction -> i_state_or_error
 
 (* Augment an address by the given value *)
-val add_to_address : value -> nat -> value
+val add_to_address : value -> integer -> value
 
 (* Coerce a Bitvector value (presumed a multiple of 8 bits long) to a Bytevector value *)
 val coerce_Bytevector_of_Bitvector : value -> value
-- 
cgit v1.2.3