From 71e8e3f569a42913ef463b482f7f450b00292162 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 1 Oct 2019 13:49:25 +0200
Subject: [PATCH] Travis: consistent naming of virtual environment

---
 travis/build-helper.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 5d407b9..5462a60 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -25,8 +25,8 @@ run() {
 
   # Create virtual environment
   travis_fold start virtualenv
-  virtualenv --python=$PYTHON stormpy-env
-  source stormpy-env/bin/activate
+  virtualenv --python=$PYTHON venv
+  source venv/bin/activate
   # Print version
   python --version
   travis_fold end virtualenv