merge

Former-commit-id: d031d65685
9 years ago · c431cbe375
1 changed files with 0 additions and 1 deletions
--- 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>);


-
 }