diff --git a/certora/mutations/039_freezeFunds_when_withdrawing.patch b/certora/mutations/039_freezeFunds_when_withdrawing.patch
new file mode 100644
index 0000000..6e70f1e
--- /dev/null
+++ b/certora/mutations/039_freezeFunds_when_withdrawing.patch
@@ -0,0 +1,13 @@
+diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
+index be21481..04e914f 100644
+--- a/contracts/vault/VaultBase.sol
++++ b/contracts/vault/VaultBase.sol
+@@ -237,7 +237,7 @@ abstract contract VaultBase {
+ 
+   function _freezeFund(Controller controller, FundId fundId) internal {
+     Fund storage fund = _funds[controller][fundId];
+-    require(fund.status() == FundStatus.Locked, VaultFundNotLocked());
++    require(fund.status() == FundStatus.Locked || fund.status() == FundStatus.Withdrawing, VaultFundNotLocked());
+ 
+     fund.frozenAt = Timestamps.currentTime();
+   }
diff --git a/certora/mutations/VaultBase/039_freezeFunds_when_withdrawing.patch b/certora/mutations/VaultBase/039_freezeFunds_when_withdrawing.patch
new file mode 120000
index 0000000..90da36a
--- /dev/null
+++ b/certora/mutations/VaultBase/039_freezeFunds_when_withdrawing.patch
@@ -0,0 +1 @@
+../039_freezeFunds_when_withdrawing.patch
\ No newline at end of file