mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-20 03:53:10 +00:00
Code Activity

Missing semicolon

Browse source
This commit is contained in:
CEisenhofer 2026-03-18 16:16:59 +01:00
parent 0a32337f0a
commit 983379f5e2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/seq/seq_nielsen.cpp
View file

@ -166,7 +166,7 @@ namespace seq {
// -----------------------------------------------
bool nielsen_subst::is_eliminating() const {
SASSERT(m_var && m_replacement)
SASSERT(m_var && m_replacement);
// check if var appears in replacement
euf::snode_vector tokens;
m_replacement->collect_tokens(tokens);