From 6dd4cb832be160128c3143ddcc06224ae47fda70 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 24 Jan 2013 16:42:34 -0800
Subject: [PATCH] Fix problem reported by Alex Horn

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/api/c++/z3++.h | 5 -----
 1 file changed, 5 deletions(-)

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>;
-
 /*@}*/
 /*@}*/