diff --git a/ChangeLog b/ChangeLog index 0785e62f1..965d9dd4b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,8 @@ -2006-08-16 Alexandre Duret-Lutz +2006-08-17 Alexandre Duret-Lutz + + * src/ltlparse/public.hh: Work around Bison 2.3 unique guards. + +2006-08-16 Alexandre Duret-Lutz * src/evtgbaparse/public.hh: Work around Bison 2.3 unique guards. * src/ltlvisit/reduce.hh, src/ltlvisit/reduce.hh: diff --git a/src/ltlparse/public.hh b/src/ltlparse/public.hh index b952b8117..8e5daa819 100644 --- a/src/ltlparse/public.hh +++ b/src/ltlparse/public.hh @@ -1,6 +1,6 @@ -// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de +// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // @@ -23,6 +23,9 @@ # define SPOT_LTLPARSE_PUBLIC_HH # include "ltlast/formula.hh" +// Unfortunately Bison 2.3 uses the same guards in all parsers :( +# undef BISON_LOCATION_HH +# undef BISON_POSITION_HH # include "ltlparse/location.hh" # include "ltlenv/defaultenv.hh" # include