From 8fffc032637e948fc4cf3bf8bab3d927764adf74 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 6 Feb 2021 10:48:09 -0800 Subject: [PATCH] remove bv dependencies --- src/ast/seq_decl_plugin.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/seq_decl_plugin.cpp b/src/ast/seq_decl_plugin.cpp index 3d2dd2313..020896593 100644 --- a/src/ast/seq_decl_plugin.cpp +++ b/src/ast/seq_decl_plugin.cpp @@ -20,7 +20,6 @@ Revision History: #include "ast/arith_decl_plugin.h" #include "ast/array_decl_plugin.h" #include "ast/ast_pp.h" -#include "ast/bv_decl_plugin.h" #include @@ -276,7 +275,6 @@ void seq_decl_plugin::init() { void seq_decl_plugin::set_manager(ast_manager* m, family_id id) { decl_plugin::set_manager(m, id); - bv_util bv(*m); m_char_plugin = static_cast(m_manager->get_plugin(m_manager->mk_family_id("char"))); m_char = get_char_plugin().char_sort(); m->inc_ref(m_char);