From b90bc4e685826a7c0a13283b4a00707cb45e6e84 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 29 Feb 2016 21:15:44 -0800 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/math/automata/symbolic_automata_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/automata/symbolic_automata_def.h b/src/math/automata/symbolic_automata_def.h index 213a4b2f9..99ad9e9bc 100644 --- a/src/math/automata/symbolic_automata_def.h +++ b/src/math/automata/symbolic_automata_def.h @@ -78,7 +78,7 @@ typename symbolic_automata::automaton_t* symbolic_automata::mk_minim vector pblocks; unsigned_vector blocks; 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) { if (fa->is_final_state(i)) { blocks.push_back(0);