From a1d7266567b0a3439c15143d888eee702bdf21d1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 20 Apr 2018 16:50:50 +0200
Subject: [PATCH] Travis: change docker repo

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

diff --git a/travis/build.sh b/travis/build.sh
index 745305b..209a1b3 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -11,7 +11,7 @@ linux)
     docker rm -f stormpy &>/dev/null
     # Run container
     set -e
-    docker run -d -it --name stormpy --privileged mvolk/$DOCKER
+    docker run -d -it --name stormpy --privileged movesrwth/$DOCKER
     # Copy local content into container
     docker exec stormpy mkdir opt/stormpy
     docker cp . stormpy:/opt/stormpy