diff --git a/stormpy/src/common.h b/stormpy/src/common.h
index de2e1c982..e81b41784 100644
--- 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 const>);
+PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T>)
+PYBIND11_DECLARE_HOLDER_TYPE(T, std::shared_ptr<T const>)
 
 namespace pybind11 {
 namespace detail {