From 9ccdef9cbdb48fdacaef60f6b637e375887322ed Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 15 Jan 2014 10:52:44 +0100 Subject: [PATCH] Workaround GCC 4.0.1 on the Darwin builds. * src/misc/bitvect.hh: Remove SPOT_API from class forward declarations. * src/ltlast/nfa.hh: Likewise. --- src/ltlast/nfa.hh | 4 ++-- src/misc/bitvect.hh | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/ltlast/nfa.hh b/src/ltlast/nfa.hh index 34b969674..32539f89f 100644 --- a/src/ltlast/nfa.hh +++ b/src/ltlast/nfa.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2008, 2010, 2013 Laboratoire de Recherche et +// Copyright (C) 2008, 2010, 2013, 2014 Laboratoire de Recherche et // Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -34,7 +34,7 @@ namespace spot namespace ltl { /// Forward declaration. See below. - class SPOT_API succ_iterator; + class succ_iterator; /// Forward declaration. NFA's labels are reprensented by nodes /// which are defined in formula_tree.hh, included in nfa.cc. namespace formula_tree diff --git a/src/misc/bitvect.hh b/src/misc/bitvect.hh index 361f9897f..753a01b16 100644 --- a/src/misc/bitvect.hh +++ b/src/misc/bitvect.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2013 Laboratoire de Recherche et Développement +// Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -31,8 +31,8 @@ namespace spot /// \addtogroup misc_tools /// @{ - class SPOT_API bitvect; - class SPOT_API bitvect_array; + class bitvect; + class bitvect_array; ///\brief Allocate a bit-vector of \a bitcount bits. ///