From 49570eb92d09e93977d323c8dafd0ee814159d92 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 24 May 2019 10:36:53 +0200
Subject: [PATCH] Travis: install correct package for dot

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

diff --git a/travis/build.sh b/travis/build.sh
index d01d67690..b96e3df0f 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -40,7 +40,7 @@ linux)
     # Install doxygen if necessary
     if [[ "$TASK" == *Doxygen* ]]
     then
-        docker exec storm apt-get install -qq -y doxygen dot
+        docker exec storm apt-get install -qq -y doxygen graphviz
     fi
     # Copy local content into container
     docker exec storm mkdir /opt/storm