From 9df6e5812734c53420efbb52d50cfbaa6a032ed5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Jul 2017 16:28:01 +0200
Subject: [PATCH] Travis dependency already part of docker

---
 travis/build.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/travis/build.sh b/travis/build.sh
index e649f5a74..e46685174 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -28,8 +28,6 @@ linux)
     # Run container
     set -e
     docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX
-    # Install dependencies
-    docker exec storm apt-get install -qq -y libeigen3-dev
     # Copy local content into container
     docker exec storm mkdir storm
     docker cp . storm:/storm