From a2517c7a12fde364c02287a28b60930e5fb10247 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 18 May 2017 14:07:46 +0200
Subject: [PATCH] Set mtime for StormEigen

---
 .travis.yml                  | 1 -
 travis/mtime_cache/globs.txt | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 450e15a2d..def02f229 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,7 +15,6 @@ cache:
   directories:
   - build
   - travis/mtime_cache
-  - src/storm/utility/storm-version.cpp
 
 # Enable docker support
 services:
diff --git a/travis/mtime_cache/globs.txt b/travis/mtime_cache/globs.txt
index 794ac4090..cd0d4d2ff 100644
--- a/travis/mtime_cache/globs.txt
+++ b/travis/mtime_cache/globs.txt
@@ -1,3 +1,4 @@
 src/**/*.{%{cpp}}
 src/**/CMakeLists.txt
 resources/3rdparty/**/*.{%{cpp}}
+resources/3rdparty/eigen-3.3-beta1/StormEigen/*