From 518773f18f27c315e6678ae6dd57b0c65bd78a91 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 26 Oct 2017 09:53:14 +0200
Subject: [PATCH] commit missing version file

---
 version.cmake | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 version.cmake

diff --git a/version.cmake b/version.cmake
new file mode 100644
index 000000000..21ee2f621
--- /dev/null
+++ b/version.cmake
@@ -0,0 +1,4 @@
+set(STORM_VERSION_MAJOR 1)
+set(STORM_VERSION_MINOR 1)
+set(STORM_VERSION_PATCH 0)
+