From 1b660d06bd50c31c5a1eba41759d8363d607d773 Mon Sep 17 00:00:00 2001
From: Alexandre Joannou <aj443@cam.ac.uk>
Date: Wed, 18 Nov 2020 09:32:32 +0000
Subject: [PATCH] Fix partial type declaration warning

---
 CHERICC_Fat.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index 5d69b6a..29274bc 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -936,7 +936,7 @@ instance CHERICap #(CapMem, OTypeW, FlagsW, CapAddressW, CapW, TSub#(MW, 3));
   function getLength = error("getLength not implemented for CapMem");
   function isInBounds = error("isInBounds not implemented for CapMem");
   function setBoundsCombined = error("setBoundsCombined not implemented for CapMem");
-  function nullWithAddr(Bit#(CapAddressW) addr) = setAddrUnsafe(packCap(null_cap), addr);
+  function nullWithAddr = setAddrUnsafe(packCap(null_cap));
   function almightyCap;
     CapReg res = almightyCap;
     return cast(res);