From 786499534f11d15036cabe58dc169e6baffedae6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 28 Jun 2012 17:10:49 +0200 Subject: [PATCH] Please the upcoming g++ 4.8. * src/tgbaalgos/simulation.cc: Remove unused typedef. --- src/tgbaalgos/simulation.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc index e4aa36693..29b024f4f 100644 --- a/src/tgbaalgos/simulation.cc +++ b/src/tgbaalgos/simulation.cc @@ -444,7 +444,6 @@ namespace spot acc_compl reverser(all_acceptance_conditions, a_->neg_acceptance_conditions()); - typedef tgba_explicit_number::transition trs; tgba_explicit_number* res = new tgba_explicit_number(a_->get_dict()); res->set_acceptance_conditions