build info added to py api

Former-commit-id: 6049f2f346
9 years ago · 93c5a3bcf3
1 changed files with 1 additions and 0 deletions
--- a/src/python/storm-info.cpp
+++ b/src/python/storm-info.cpp
@ -7,5 +7,6 @@ BOOST_PYTHON_MODULE(_info)
    class_<storm::utility::StormVersion>("Version")
            .def("short", &storm::utility::StormVersion::shortVersionString)
            .def("long", &storm::utility::StormVersion::longVersionString)
+            .def("build_info", &storm::utility::StormVersion::buildInfo)
    ;
 }