From 4b08d61aa228a1170876a89f738e21eae953739c Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 2 Apr 2020 15:17:24 +0100
Subject: [PATCH] Fix hardcoded 64

---
 CHERICC_Fat.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index cbcdab5..01f439b 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -1224,9 +1224,9 @@ instance Cast#(function CapReg f0(t x), function CapPipe f1(t y));
   endfunction
 endinstance
 
-instance Cast#(function CapPipe f0(t y), function Bit#(64) f1(t x));
+instance Cast#(function CapPipe f0(t y), function Bit#(CapAddressW) f1(t x));
   function cast(f0);
-      function Bit#(64) f1(t arg) = getAddr(f0(arg));
+      function Bit#(CapAddressW) f1(t arg) = getAddr(f0(arg));
       return f1;
   endfunction
 endinstance