From 570bc3c9c188811486fa8e598bc02194c21a2bad Mon Sep 17 00:00:00 2001
From: Andres Notzli <andres.noetzli@gmail.com>
Date: Mon, 29 Feb 2016 23:41:33 -0800
Subject: [PATCH] Fix build

Previous commits seem to have removed some variable declarations, so the
build did not work. This patch reintroduces the variables.
---
 src/math/automata/symbolic_automata_def.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/math/automata/symbolic_automata_def.h b/src/math/automata/symbolic_automata_def.h
index f37384b2c..953bc83dd 100644
--- a/src/math/automata/symbolic_automata_def.h
+++ b/src/math/automata/symbolic_automata_def.h
@@ -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) {