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); - } \ No newline at end of file