diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 5f630d814..2731d6d27 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3414,7 +3414,7 @@ namespace z3 {
         }
     };
     
-    constructor_list::constructor_list(constructors const& cs): ctx(cs.ctx) {
+    inline constructor_list::constructor_list(constructors const& cs): ctx(cs.ctx) {
         array<Z3_constructor> cons(cs.size());
         for (unsigned i = 0; i < cs.size(); ++i)
             cons[i] = cs[i];