From e0be3a316339e36ac055d8a494f420d96682da41 Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Thu, 12 Nov 2020 10:35:40 +0200
Subject: [PATCH] Changes in harness of VariableDebtToken

---
 specs/harness/LendingPoolHarnessForVariableDebtToken.sol | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
index a6ffb6f2..7ecde340 100644
--- a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
+++ b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
@@ -24,9 +24,9 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
   ) external override {
     originalPool.deposit(asset, amount, onBehalfOf, referralCode);
   }
-
-  function withdraw(address asset, uint256 amount) external override {
-    originalPool.withdraw(asset, amount);
+	
+   function withdraw(address reserve, uint256 amount, address to) external override {
+	originalPool.withdraw(reserve, amount, to);
   }
 
   function getBorrowAllowance(