mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-20 11:22:04 +00:00
Code Activity

remove bv dependencies

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-06 10:48:09 -08:00
parent 0f29fff836
commit 8fffc03263
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.cpp
View file

@ -20,7 +20,6 @@ Revision History:
#include "ast/arith_decl_plugin.h" #include "ast/arith_decl_plugin.h"
#include "ast/array_decl_plugin.h" #include "ast/array_decl_plugin.h"
#include "ast/ast_pp.h" #include "ast/ast_pp.h"
#include "ast/bv_decl_plugin.h"
#include <sstream> #include <sstream>
@ -276,7 +275,6 @@ void seq_decl_plugin::init() {
void seq_decl_plugin::set_manager(ast_manager* m, family_id id) { void seq_decl_plugin::set_manager(ast_manager* m, family_id id) {
decl_plugin::set_manager(m, id); decl_plugin::set_manager(m, id);
bv_util bv(*m);
m_char_plugin = static_cast<char_decl_plugin*>(m_manager->get_plugin(m_manager->mk_family_id("char"))); m_char_plugin = static_cast<char_decl_plugin*>(m_manager->get_plugin(m_manager->mk_family_id("char")));
m_char = get_char_plugin().char_sort(); m_char = get_char_plugin().char_sort();
m->inc_ref(m_char); m->inc_ref(m_char);