From bb52ba0659554b2eccdf60097d699f1b4b318bcd Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Tue, 24 Nov 2020 15:46:09 +0200
Subject: [PATCH] Updated import paths

---
 runVariableTokenCLI.sh                                   | 2 +-
 specs/harness/LendingPoolHarnessForVariableDebtToken.sol | 8 ++++----
 specs/harness/StableDebtTokenHarness.sol                 | 4 ++--
 specs/harness/UserConfigurationHarness.sol               | 2 +-
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/runVariableTokenCLI.sh b/runVariableTokenCLI.sh
index cd037a7c..5d549a8b 100644
--- a/runVariableTokenCLI.sh
+++ b/runVariableTokenCLI.sh
@@ -1 +1 @@
-certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --staging
\ No newline at end of file
+certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --staging
\ No newline at end of file
diff --git a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
index e6c0ff0b..5b14a5de 100644
--- a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
+++ b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
@@ -3,11 +3,11 @@ pragma experimental ABIEncoderV2;
 
 import {
 ReserveConfiguration
-} from '../../contracts/libraries/configuration/ReserveConfiguration.sol';
-import {UserConfiguration} from '../../contracts/libraries/configuration/UserConfiguration.sol';
-import {ReserveLogic} from '../../contracts/libraries/logic/ReserveLogic.sol';
+} from '../../contracts/protocol/libraries/configuration/ReserveConfiguration.sol';
+import {UserConfiguration} from '../../contracts/protocol/libraries/configuration/UserConfiguration.sol';
+import {ReserveLogic} from '../../contracts/protocol/libraries/logic/ReserveLogic.sol';
 import {ILendingPool} from '../../contracts/interfaces/ILendingPool.sol';
-import {LendingPool} from '../../contracts/lendingpool/LendingPool.sol';
+import {LendingPool} from '../../contracts/protocol/lendingpool/LendingPool.sol';
 import {
 ILendingPoolAddressesProvider
 } from '../../contracts/interfaces/ILendingPoolAddressesProvider.sol';
diff --git a/specs/harness/StableDebtTokenHarness.sol b/specs/harness/StableDebtTokenHarness.sol
index 6a8323ca..1218e0d9 100644
--- a/specs/harness/StableDebtTokenHarness.sol
+++ b/specs/harness/StableDebtTokenHarness.sol
@@ -1,7 +1,7 @@
 pragma solidity 0.6.12;
 
-import {StableDebtToken} from '../../contracts/tokenization/StableDebtToken.sol';
-import {IncentivizedERC20} from '../../contracts/tokenization/IncentivizedERC20.sol';
+import {StableDebtToken} from '../../contracts/protocol/tokenization/StableDebtToken.sol';
+import {IncentivizedERC20} from '../../contracts/protocol/tokenization/IncentivizedERC20.sol';
 
 contract StableDebtTokenHarness is StableDebtToken {
   constructor(
diff --git a/specs/harness/UserConfigurationHarness.sol b/specs/harness/UserConfigurationHarness.sol
index 0780c222..1ebd6e34 100644
--- a/specs/harness/UserConfigurationHarness.sol
+++ b/specs/harness/UserConfigurationHarness.sol
@@ -1,7 +1,7 @@
 pragma solidity 0.6.12;
 pragma experimental ABIEncoderV2;
 
-import {UserConfiguration} from '../../contracts/libraries/configuration/UserConfiguration.sol';
+import {UserConfiguration} from '../../contracts/protocol/libraries/configuration/UserConfiguration.sol';
 
 /*
 A wrapper contract for calling functions from the library UserConfiguration.