From b486d4f1dca7429fb95ba5af2188991a387d1371 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Sep 2013 13:30:58 +0200 Subject: [PATCH] Fix compilation with g++-4.4.7. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/reducerun.cc: Remove superfluous definition of state_set. Reported by FrantiÅ¡ek Blahoudek. --- src/tgbaalgos/gtec/ce.cc | 6 ++---- src/tgbaalgos/reducerun.cc | 4 +--- 2 files changed, 3 insertions(+), 7 deletions(-) diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc index 497c72674..7c7704bb9 100644 --- a/src/tgbaalgos/gtec/ce.cc +++ b/src/tgbaalgos/gtec/ce.cc @@ -1,5 +1,5 @@ -// Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement de -// l'Epita (LRDE). +// Copyright (C) 2010, 2011, 2013 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. @@ -27,8 +27,6 @@ namespace spot { namespace { - typedef Sgi::hash_set state_set; class shortest_path: public bfs_steps { public: diff --git a/src/tgbaalgos/reducerun.cc b/src/tgbaalgos/reducerun.cc index ec04e5b9c..f19da6ff5 100644 --- a/src/tgbaalgos/reducerun.cc +++ b/src/tgbaalgos/reducerun.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2011 Laboratoire de Recherche et Développement +// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre @@ -29,8 +29,6 @@ namespace spot { namespace { - typedef Sgi::hash_set state_set; class shortest_path: public bfs_steps { public: