From a665d1f78ef8103b6b823da37b19e2a5545e8b0f Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 8 Jan 2017 23:38:06 +0100
Subject: [PATCH] remove typo

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a09fd6a6d..021e1ee60 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -33,7 +33,7 @@ env:
   global:
     - TOPDIR=/home/travis/build
     - PATH=$PATH:/opt/hermit/bin:$TOPDIR/x86/bin
-    - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/tools/proxy"
+    - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/libhermit-0.1/tools/proxy"
     - HERMIT_ISLE=qemu
     - HERMIT_CPUS=1
     - HERMIT_MEM="512M"