diff --git a/ChangeLog b/ChangeLog index 3882d5d90..9b361ab73 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-01-18 Alexandre Duret-Lutz + + * src/eltlparse/eltlparse.yy (realias): Add a useless return to + fix a g++ warning. + 2012-01-18 Alexandre Duret-Lutz * bench/ltlclasses/run: Typo in comment. diff --git a/src/eltlparse/eltlparse.yy b/src/eltlparse/eltlparse.yy index 7ebb3ade9..a02276c49 100644 --- a/src/eltlparse/eltlparse.yy +++ b/src/eltlparse/eltlparse.yy @@ -1,5 +1,5 @@ -/* Copyright (C) 2008, 2009, 2010, 2011 Laboratoire de Recherche et -** Développement de l'Epita (LRDE). +/* Copyright (C) 2008, 2009, 2010, 2011, 2012 Laboratoire de Recherche +** et Développement de l'Epita (LRDE). ** ** This file is part of Spot, a model checking library. ** @@ -142,6 +142,7 @@ namespace spot /* Unreachable code. */ assert(0); + return node_ptr(static_cast(0)); } } }