From 4597cbce8c25702843cb8d0b97a6a5a60d2ae741 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 18 Nov 2016 12:50:08 +0100
Subject: [PATCH] Fixed ignore paths

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index cdffa634d..ac83173b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,7 +46,7 @@ build//CMakeLists.txt
 *.orig
 *.*~
 # CMake generated/configured files
-src/utility/storm-version.cpp
+src/storm/utility/storm-version.cpp
 nbproject/
 .DS_Store
 .idea