diff --git a/contracts/WakuRln.sol b/contracts/WakuRln.sol
index a51725c..8ce7891 100644
--- a/contracts/WakuRln.sol
+++ b/contracts/WakuRln.sol
@@ -50,4 +50,8 @@ contract WakuRln is Ownable, RlnBase {
     {
         revert NotImplemented();
     }
+
+    function withdraw() external pure override {
+        revert NotImplemented();
+    }
 }
diff --git a/docs/index.md b/docs/index.md
index 61afdb2..042c5b2 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -77,3 +77,11 @@ _Inheriting contracts MUST override this function_
 ```solidity
 function _validateSlash(uint256 idCommitment, address payable receiver, uint256[8] proof) internal pure
 ```
+
+### withdraw
+
+```solidity
+function withdraw() external pure
+```
+
+Allows a user to withdraw funds allocated to them upon slashing a member
diff --git a/test/WakuRln.t.sol b/test/WakuRln.t.sol
index f9aa125..27309af 100644
--- a/test/WakuRln.t.sol
+++ b/test/WakuRln.t.sol
@@ -64,5 +64,7 @@ contract WakuRlnTest is Test {
         wakuRln.register(idCommitment);
         vm.expectRevert(NotImplemented.selector);
         wakuRln.slash(idCommitment, payable(address(0)), zeroedProof);
+        vm.expectRevert(NotImplemented.selector);
+        wakuRln.withdraw();
     }
 }