From 0c57f1b5dc904bc8f312dda28bda0199ab36dfd7 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 8 Mar 2023 22:45:34 +0100
Subject: [PATCH] Update ERC20Wrapper.spec

---
 certora/specs/ERC20Wrapper.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/specs/ERC20Wrapper.spec b/certora/specs/ERC20Wrapper.spec
index a2487464232..c10173766de 100644
--- a/certora/specs/ERC20Wrapper.spec
+++ b/certora/specs/ERC20Wrapper.spec
@@ -33,7 +33,7 @@ function sumOfUnderlyingBalancesLowerThanUnderlyingSupply(address a, address b)
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 invariant totalSupplyIsSmallerThanUnderlyingBalance()
-    totalSupply() <= underlyingBalanceOf(currentContract)  &&
+    totalSupply() <= underlyingBalanceOf(currentContract) &&
     underlyingBalanceOf(currentContract) <= underlyingTotalSupply() &&
     underlyingTotalSupply() <= max_uint256
     {