Instadapp/aave-protocol-v2
1
0
Fork 0
mirror of https://github.com/Instadapp/aave-protocol-v2.git synced 2024-07-29 21:47:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed imports

Browse Source
This commit is contained in:
pistiner 2020-12-03 17:28:25 +02:00
parent a7ba382b50
commit 0293b082a9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
specs/harness/LendingPoolHarnessForVariableDebtToken.sol
View File

@ -6,7 +6,7 @@ import {LendingPool} from '../../contracts/protocol/lendingpool/LendingPool.sol'
import {
ILendingPoolAddressesProvider
} from '../../contracts/interfaces/ILendingPoolAddressesProvider.sol';
import {DataTypes} from '../protocol/libraries/types/DataTypes.sol';
import {DataTypes} from '../../contracts/protocol/libraries/types/DataTypes.sol';
/*
Certora: Harness that delegates calls to the original LendingPool.