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

remove tactic exception dependency

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-25 11:48:44 +07:00
parent e95b0bd2cd
commit f0570fbc0e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/simplifiers/max_bv_sharing.cpp
View file

@ -62,7 +62,7 @@ class max_bv_sharing : public dependent_expr_simplifier {
bool max_steps_exceeded(unsigned num_steps) const { bool max_steps_exceeded(unsigned num_steps) const {
if (memory::get_allocation_size() > m_max_memory) if (memory::get_allocation_size() > m_max_memory)
throw tactic_exception(TACTIC_MAX_MEMORY_MSG); throw rewriter_exception(Z3_MAX_MEMORY_MSG);
return num_steps > m_max_steps; return num_steps > m_max_steps;
} }