From d9d201f56b2813465b3edf3929285b2ff6aa9177 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 7 Jul 2017 15:20:55 +0200
Subject: [PATCH] Fixed eigen package in docker

---
 travis/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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