From 291b92b5a36cbb14e879e00e6e9efe04c51bdd27 Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Thu, 3 Dec 2020 17:33:23 +0200
Subject: [PATCH] Fixed compilation errors

---
 ...LendingPoolHarnessForVariableDebtToken.sol | 30 +++++++++----------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
index b2d2e878..02b5a4b7 100644
--- a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
+++ b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
@@ -28,8 +28,8 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
     address asset,
     uint256 amount,
     address to
-  ) external override {
-    originalPool.withdraw(asset, amount, to);
+  ) external override returns (uint256) {
+    return originalPool.withdraw(asset, amount, to);
   }
 
   function borrow(
@@ -47,8 +47,8 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
     uint256 amount,
     uint256 rateMode,
     address onBehalfOf
-  ) external override {
-    originalPool.repay(asset, amount, rateMode, onBehalfOf);
+  ) external override returns (uint256) {
+    return originalPool.repay(asset, amount, rateMode, onBehalfOf);
   }
 
   function swapBorrowRateMode(address asset, uint256 rateMode) external override {
@@ -96,17 +96,17 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
   }
 
   function getUserAccountData(address user)
-    external
-    view
-    override
-    returns (
-      uint256 totalCollateralETH,
-      uint256 totalBorrowsETH,
-      uint256 availableBorrowsETH,
-      uint256 currentLiquidationThreshold,
-      uint256 ltv,
-      uint256 healthFactor
-    )
+  external
+  view
+  override
+  returns (
+    uint256 totalCollateralETH,
+    uint256 totalDebtETH,
+    uint256 availableBorrowsETH,
+    uint256 currentLiquidationThreshold,
+    uint256 ltv,
+    uint256 healthFactor
+  )
   {
     return originalPool.getUserAccountData(user);
   }