From 010e95e925f4222500f9b837ad58c3996123053f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 29 Jan 2018 13:07:31 +0100
Subject: [PATCH] apt-get update in travis

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

diff --git a/travis/build.sh b/travis/build.sh
index 9ac4fba..745305b 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -16,6 +16,7 @@ linux)
     docker exec stormpy mkdir opt/stormpy
     docker cp . stormpy:/opt/stormpy
     # Install virtualenv
+    docker exec stormpy apt-get update
     docker exec stormpy apt-get install -qq -y python python3 virtualenv
     set +e