fixed a warning about a spurious semicolon

Former-commit-id: 5f4ed7c902
9 years ago · 305c2b155c
1 changed files with 2 additions and 2 deletions
--- a/stormpy/src/common.h
+++ b/stormpy/src/common.h
@ -22,8 +22,8 @@ namespace py = pybind11;
 #define PY_RDIV "__rdiv__"
 #endif
-PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T>);
+PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T>)
-PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T const>);
+PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T const>)
 namespace pybind11 {
 namespace detail {