From ece951ad2f3001e0a921c7470e7c6a84c32d19af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Wed, 25 Nov 2015 16:57:39 +0100
Subject: [PATCH] Wrong directory

---
 CI/ci-mac.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh
index c41d4305..daf54fa3 100755
--- a/CI/ci-mac.sh
+++ b/CI/ci-mac.sh
@@ -55,7 +55,6 @@ python -m unittest discover -v
 
 cd ..
 cd ..
-cd ..
 
 
 #########################################