Update ERC20Wrapper.spec

OpenZeppelin · Mar 8, 2023 · 0c57f1b · 0c57f1b
1 parent 3800164
commit 0c57f1b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
     {