Former-commit-id: e980d16031
e980d16031
@ -53,7 +53,6 @@ BOOST_PYTHON_MODULE(_core)
def("buildModelFromPrismProgram", storm::buildSymbolicModel<double>);
def("exportMatrixFromModel", storm::exportMatrixToFile)
}