fix: linting

sakulstra · sakulstra · commit a6f8d828f088 · 2024-10-21T10:30:20.000+02:00
diff --git a/certora/stata/harness/pool/SymbolicLendingPool.sol b/certora/stata/harness/pool/SymbolicLendingPool.sol
@@ -93,10 +93,7 @@ contract SymbolicLendingPool {
     return reserve.configuration;
   }
 
-  function getVirtualUnderlyingBalance(
-    address asset
-  ) external view virtual returns (uint128) {
+  function getVirtualUnderlyingBalance(address asset) external view virtual returns (uint128) {
     return reserve.virtualUnderlyingBalance;
   }
-
 }

Original file line number	Diff line number	Diff line change
`@@ -93,10 +93,7 @@ contract SymbolicLendingPool {`
`93`	`93`	`return reserve.configuration;`
`94`	`94`	`}`
`95`	`95`
`96`		`- function getVirtualUnderlyingBalance(`
`97`		`- address asset`
`98`		`- ) external view virtual returns (uint128) {`
	`96`	`+ function getVirtualUnderlyingBalance(address asset) external view virtual returns (uint128) {`
`99`	`97`	`return reserve.virtualUnderlyingBalance;`
`100`	`98`	`}`
`101`		`-`
`102`	`99`	`}`