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. ///