From f1f618d888407c2e6fa8b0498b2554585772fb09 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Sat, 5 Nov 2016 16:09:12 +0000
Subject: fixes

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

(limited to 'src/lem_interp/interp_interface.lem')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index a648b437..ea3ba154 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -203,3 +203,4 @@ val instruction_analysis :
 
 
 val initial_outcome_s_of_instruction : context -> interp_mode -> instruction -> Sail_impl_base.outcome_s instruction_state unit
+
-- 
cgit v1.2.3