From 93c5a3bcf3ddff4c0de44a776eb36b61e512656d Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 22 Jan 2016 16:30:27 +0100
Subject: [PATCH] build info added to py api

Former-commit-id: 6049f2f346da791040be947ad9f82fc8dc6b7b27
---
 src/python/storm-info.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/python/storm-info.cpp b/src/python/storm-info.cpp
index c9d3acc99..5c60c8ffd 100644
--- 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)
     ;
 }
\ No newline at end of file