From 305c2b155cf220c9cc388fdad019c45f379cf73f Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Mon, 14 Nov 2016 23:47:32 +0100
Subject: [PATCH] fixed a warning about a spurious semicolon

Former-commit-id: 5f4ed7c90215407ac4d6f00fd2927e7344128241
---
 stormpy/src/common.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 {