From 5b723bf8c01c1c53b4b0b1b7a9ef3f8f714eb445 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 3 Jan 2015 11:52:56 +0100 Subject: [PATCH] work around a swig issue on Arch Linux destroy_atomic_prop_set() takes a parameter named 'as', and aparently Swig reuses this name as-is, although it is a Python keyword. * src/ltlvisit/apcollect.hh (destroy_atomic_prop_set): Rename the parameter to please Swig on Arch Linux. --- src/ltlvisit/apcollect.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ltlvisit/apcollect.hh b/src/ltlvisit/apcollect.hh index 3b51210a0..5abd46530 100644 --- a/src/ltlvisit/apcollect.hh +++ b/src/ltlvisit/apcollect.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et +// Copyright (C) 2012, 2013, 2014, 2015 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 @@ -46,7 +46,7 @@ namespace spot /// \brief Destroy all the atomic propositions in an /// atomic_prop_set. SPOT_API void - destroy_atomic_prop_set(atomic_prop_set& as); + destroy_atomic_prop_set(atomic_prop_set& aprops); /// \brief Return the set of atomic propositions occurring in a formula. ///