mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-04 18:30:24 +00:00
Code Activity

remove dependency on spacer_util

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-08-09 16:33:50 -07:00
parent 75c6d7b5a8
commit a7e2b64545
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/sat/smt/synth_solver.h
View file

@ -14,7 +14,6 @@ Author:
#pragma once #pragma once
#include "muz/spacer/spacer_util.h"
#include "sat/smt/sat_th.h" #include "sat/smt/sat_th.h"
#include "solver/solver.h" #include "solver/solver.h"
@ -53,7 +52,8 @@ namespace synth {
sat::literal_vector m_blockers; sat::literal_vector m_blockers;
ptr_vector<app> m_synth; ptr_vector<app> m_synth;
spacer::func_decl_set m_uncomputable; typedef obj_hashtable<func_decl> func_decl_set;
func_decl_set m_uncomputable;
}; };