From d6e7190874c7e066881c38f49a6af7c205b3cd32 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 13 Jul 2017 18:49:11 +0100
Subject: Added some code to check if function return types in function clauses
 and val specs are the same

---
 mips_new_tc/mips_wrappers.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips_new_tc')

diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail
index 5b36983d..c5eb6cf4 100644
--- a/mips_new_tc/mips_wrappers.sail
+++ b/mips_new_tc/mips_wrappers.sail
@@ -69,6 +69,6 @@ function (bit[64]) TranslatePC ((bit[64]) vAddr) = {
 
 let have_cp2 = false
 
-function unit SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000)
+function forall Type 'o. 'o SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000)
 
 function unit ERETHook() = ()
-- 
cgit v1.2.3