mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 04:48:45 +00:00
Code Activity

Fix build

Browse source 
Previous commits seem to have removed some variable declarations, so the
build did not work. This patch reintroduces the variables.
This commit is contained in:
Andres Notzli 2016-02-29 23:41:33 -08:00
parent 4a15d756d7
commit 570bc3c9c1
1 changed files with 3 additions and 1 deletions

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

@ -79,9 +79,11 @@ typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minim
template<class T, class M>
typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize_total(automaton_t& a) {
typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize_total(automaton_t& fa) {
vector<block> pblocks;
unsigned_vector blocks;
block final_block(fa->final_states());
block non_final_block(fa->non_final_states());
pblocks.push_back(block(fa->final_states())); // 0 |-> final states
// pblocks.push_back(block(fa->non_final_states()); // 1 |-> non-final states
for (unsigned i = 0; i < fa->num_states(); ++i) {