fix: Fix lint

Author: miguelmtzinf

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;
   }
-
 }

tests/extensions/static-a-token/StataTokenV2Pausable.t.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: BUSL-1.1
+g// SPDX-License-Identifier: BUSL-1.1
 pragma solidity ^0.8.10;
 
 import {PausableUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/utils/PausableUpgradeable.sol';

tests/extensions/static-a-token/StataTokenV2Permit.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: BUSL-1.1
+t // SPDX-License-Identifier: BUSL-1.1
 pragma solidity ^0.8.10;
 
 import {ERC20PermitUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/ERC20PermitUpgradeable.sol';