From 99fdb2e003b7433dc06372d2ffebd6d5111ce46d Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Thu, 6 Oct 2016 17:23:28 +0100
Subject: move type definitions that both interpreter and shallow embedding use
 to sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary
 functions, make prompt use sail_impl_base.outcome

---
 mips/mips_extras.lem | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mips')

diff --git a/mips/mips_extras.lem b/mips/mips_extras.lem
index 0875903f..b4db9291 100644
--- a/mips/mips_extras.lem
+++ b/mips/mips_extras.lem
@@ -1,6 +1,7 @@
 open import Pervasives
 open import Interp_ast
 open import Interp_interface
+open import Sail_impl_base
 open import Interp_inter_imp
 import Set_extra
 
-- 
cgit v1.2.3