diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 7875e6ef3..5c1e6ca0c 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1644,11 +1644,6 @@ namespace z3 {
 
 };
 
-template class z3::ast_vector_tpl<z3::ast>;
-template class z3::ast_vector_tpl<z3::expr>;
-template class z3::ast_vector_tpl<z3::sort>;
-template class z3::ast_vector_tpl<z3::func_decl>;
-
 /*@}*/
 /*@}*/