From c431cbe3752fe1f8e686650002bc186e4ca4dd3e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 14 Jan 2016 12:46:45 +0100
Subject: [PATCH] merge

Former-commit-id: d031d65685e90ca7c3395b70d593bcf67d1ffdce
---
 src/python/storm-core.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp
index e3b8a56c1..e02d76b2d 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -53,5 +53,4 @@ BOOST_PYTHON_MODULE(_core)
     def("buildModelFromPrismProgram", storm::buildSymbolicModel<double>);
 
 
-
 }
\ No newline at end of file