mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

fix build

Browse source
This commit is contained in:
Jakob Rath 2023-01-18 19:29:22 +01:00
parent 85a8d8b005
commit a7ad1f0bfb
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/polysat/clause_builder.h
View file

@ -30,6 +30,8 @@ namespace polysat {
bool m_is_tautology = false;
bool m_redundant = clause::redundant_default;
solver& s() const { return *m_solver; }
public:
clause_builder(solver& s);
clause_builder(clause_builder const& s) = delete;