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

Former-commit-id: e5f945771c82359b17eb7787c431c07071c3b9f1
---
 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 274f5426f..e3b8a56c1 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -54,5 +54,4 @@ BOOST_PYTHON_MODULE(_core)
 
 
 
-    
 }
\ No newline at end of file