mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 04:43:39 +00:00
Code Activity

fix build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-02-29 21:15:44 -08:00
parent 3b6eef05c9
commit b90bc4e685
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/automata/symbolic_automata_def.h
View file

@ -78,7 +78,7 @@ typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minim
vector<block> pblocks; vector<block> pblocks;
unsigned_vector blocks; unsigned_vector blocks;
pblocks.push_back(block(fa->final_states())); // 0 |-> final states pblocks.push_back(block(fa->final_states())); // 0 |-> final states
pblocks.push_back(block(fa->non_final_states()); // 1 |-> non-final states // pblocks.push_back(block(fa->non_final_states()); // 1 |-> non-final states
for (unsigned i = 0; i < fa->num_states(); ++i) { for (unsigned i = 0; i < fa->num_states(); ++i) {
if (fa->is_final_state(i)) { if (fa->is_final_state(i)) {
blocks.push_back(0); blocks.push_back(0);