From 522bf4239ab999190fbb173aa7138efb43f8dc03 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Thu, 30 Oct 2014 14:26:27 +0000
Subject: harmonise argument order

---
 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 712070d8..6561e588 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -113,7 +113,7 @@ val append_value : value -> value -> value
 val interp : interp_mode -> instruction_state -> outcome
 
 (* Run the interpreter without external interaction, feeding in Unknown on all reads except for those register values provided *)
-val interp_exhaustive : instruction_state -> maybe (list (reg_name * value)) -> list event
+val interp_exhaustive : maybe (list (reg_name * value)) -> instruction_state -> list event
 
 (* As above, but will request register reads: outcome will only be rreg, done, or error *)
 val rr_interp_exhaustive : interp_mode -> instruction_state -> list event -> (outcome * (list event)) 
-- 
cgit v1.2.3