mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-08 06:52:26 +00:00
Code Activity

Removed random symbol

Browse source
This commit is contained in:
CEisenhofer 2026-08-06 19:10:24 -07:00
parent 957560a373
commit cec3c4b55f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/rewriter/seq_monadic.h
View file

@ -84,7 +84,7 @@ class seq_monadic {
seq::transition_mode m_mode;
bool m_model = true; // whether solve()/check() extract a feasible model
bool m_min_core = true; // whether check() minimizes the unsat core (else: all deps)
solve
config(seq::transition_mode mode) : m_mode(mode) {}
};