From 7c2e9e68fca02ba2d9c746fa5b6366050b2bd8d9 Mon Sep 17 00:00:00 2001
From: Jochen Hoenicke <hoenicke@gmail.com>
Date: Fri, 1 Aug 2025 18:14:20 +0200
Subject: [PATCH] Fix compile problem in one mutation

---
 certora/mutations/010_burnAccount_logic_inversion.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/mutations/010_burnAccount_logic_inversion.patch b/certora/mutations/010_burnAccount_logic_inversion.patch
index b52e4e2..262b8e6 100644
--- a/certora/mutations/010_burnAccount_logic_inversion.patch
+++ b/certora/mutations/010_burnAccount_logic_inversion.patch
@@ -7,7 +7,7 @@ index be21481..f22b4ed 100644
  
      Account memory account = _accounts[controller][fundId][accountId];
 -    require(account.flow.incoming == account.flow.outgoing, VaultFlowNotZero());
-+    require(account.flow.incoming != account.flow.outgoing, VaultFlowNotZero());
++    require(!(account.flow.incoming == account.flow.outgoing), VaultFlowNotZero());
      uint128 amount = account.balance.available + account.balance.designated;
  
      delete _accounts[controller][fundId][accountId];