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

fix build with gcc

Browse source
This commit is contained in:
Nuno Lopes 2016-03-01 10:02:24 +00:00
parent 10ea36bfed
commit 33431ef922
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/math/automata/symbolic_automata_def.h
View file

@ -157,7 +157,7 @@ typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minim
relevant1.insert(p0A_index); relevant1.insert(p0A_index);
block& p0A = pblocks[p0A_index]; block& p0A = pblocks[p0A_index];
block p1; block p1;
for (iterator it = gamma.begin(); it != gend; ++it) { for (gamma_iterator it = gamma.begin(); it != gend; ++it) {
if (p0A.contains(it->m_key)) p1.insert(it->m_key); if (p0A.contains(it->m_key)) p1.insert(it->m_key);
} }