fix

1 files changed, 2 insertions, 2 deletions

diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail
index 5be1a3cc..a490efb9 100644
--- a/mips/mips_prelude.sail
+++ b/mips/mips_prelude.sail
@@ -152,7 +152,6 @@ register (bit[1])   CP0LLBit
 register (bit[64])  CP0LLAddr
 register (bit[64])  CP0BadVAddr
 register (bit[32])  CP0Count
-register (bit[32])  CP0Compare
 register (bit[32])  CP0HWREna
 register (bit[64])  CP0UserLocal
 
@@ -277,7 +276,6 @@ function (bit[5]) ExceptionCode ((Exception) ex) =
    }
 
 
-val Exception -> unit effect {rreg, wreg} SignalException
 
 function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) = 
   {
@@ -318,6 +316,8 @@ function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) =
       CP0Status.EXL         := 1;
   }
 
+val Exception -> unit effect {rreg, wreg} SignalException
+
 function unit SignalExceptionBadAddr((Exception) ex, (bit[64]) badAddr) =
   {
     CP0BadVAddr := badAddr;