diff --git a/python/spot/gen.i b/python/spot/gen.i index b3cc29769..190e00b8f 100644 --- a/python/spot/gen.i +++ b/python/spot/gen.i @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de -// l'Epita (LRDE). +// Copyright (C) 2017-2019 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -17,12 +17,6 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -%{ - // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef. - // It matters with g++ 4.6. -#include -%} - %module(package="spot", director="1") gen %include "std_string.i" diff --git a/python/spot/impl.i b/python/spot/impl.i index f205270f6..131e49a76 100644 --- a/python/spot/impl.i +++ b/python/spot/impl.i @@ -20,13 +20,6 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -%{ - // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef. - // It matters with g++ 4.6. -#include -%} - - %module(package="spot", director="1") impl %include "std_shared_ptr.i" diff --git a/python/spot/ltsmin.i b/python/spot/ltsmin.i index c70da47f9..3eb051f3f 100644 --- a/python/spot/ltsmin.i +++ b/python/spot/ltsmin.i @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement de -// l'Epita (LRDE). +// Copyright (C) 2016-2017, 2019 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -17,12 +17,6 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -%{ - // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef. - // It matters with g++ 4.6. -#include -%} - %module(package="spot", director="1") ltsmin %include "std_string.i"