diff options
Diffstat (limited to 'mips_new_tc')
| -rw-r--r-- | mips_new_tc/mips_prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips_new_tc/mips_prelude.sail b/mips_new_tc/mips_prelude.sail index dca78b12..6792f546 100644 --- a/mips_new_tc/mips_prelude.sail +++ b/mips_new_tc/mips_prelude.sail @@ -190,7 +190,7 @@ register (TLBEntry) TLBEntry61 register (TLBEntry) TLBEntry62 register (TLBEntry) TLBEntry63 -let (vector <0, 64, inc, (TLBEntry)>) TLBEntries = [ +let (vector <0, 64, inc, (register<TLBEntry>)>) TLBEntries = [ TLBEntry00, TLBEntry01, TLBEntry02, |