From d4f0e05f06dd96fa877946c8dcee9264a8d4cbed Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Thu, 29 Oct 2020 01:58:20 +0200
Subject: [PATCH] Fixes to run on UserConfiguration library

---
 specs/harness/UserConfigurationHarness.sol | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/specs/harness/UserConfigurationHarness.sol b/specs/harness/UserConfigurationHarness.sol
index 03574a99..81b2444e 100644
--- a/specs/harness/UserConfigurationHarness.sol
+++ b/specs/harness/UserConfigurationHarness.sol
@@ -1,8 +1,7 @@
 pragma solidity ^0.6.8;
 pragma experimental ABIEncoderV2;
 
-import {UserConfiguration} from 'contracts/libraries/configuration/UserConfiguration.sol';
-
+import {UserConfiguration} from '../../contracts/libraries/configuration/UserConfiguration.sol';
 
 /*
 A wrapper contract for calling functions from the library UserConfiguration.