From 91cfc8b9a4d54a438f3f6dd4aa78c8a5264b90cd Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 11 Feb 2016 17:30:20 +0000
Subject: mips.sail: add cast to bit to work around type error recently
 introduced by overloading of '^^'

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

diff --git a/mips/mips.sail b/mips/mips.sail
index 6fca5300..ca93d967 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -100,7 +100,7 @@ let (vector <0, 32, inc, (register<(bit[64])>) >) GPR =
 (* Check whether a given 64-bit vector is a properly sign extended 32-bit word *)
 val bit[64] -> bool effect pure isWordVal
 function bool NotWordVal (word) = 
-    (word[31] ^^ 32) != word[63..32]
+    (((bit)(word[31])) ^^ 32) != word[63..32]
 
 val bit[5] -> bit[64] effect {rreg} rGPR
 function bit[64] rGPR idx = {
-- 
cgit v1.2.3