From 865427c73b05b663c4c80b292c53f43fdf1f282b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 2 Oct 2019 09:34:18 +0200
Subject: [PATCH] python: remove workaround for swig 2.0.2

* python/spot/gen.i, python/spot/impl.i, python/spot/ltsmin.i: Here.
---
 python/spot/gen.i    | 10 ++--------
 python/spot/impl.i   |  7 -------
 python/spot/ltsmin.i | 10 ++--------
 3 files changed, 4 insertions(+), 23 deletions(-)

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 <http://www.gnu.org/licenses/>.
 
-%{
-  // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef.
-  // It matters with g++ 4.6.
-#include <cstddef>
-%}
-
 %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 <http://www.gnu.org/licenses/>.
 
-%{
-  // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef.
-  // It matters with g++ 4.6.
-#include <cstddef>
-%}
-
-
 %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 <http://www.gnu.org/licenses/>.
 
-%{
-  // Workaround for SWIG 2.0.2 using ptrdiff_t but not including cstddef.
-  // It matters with g++ 4.6.
-#include <cstddef>
-%}
-
 %module(package="spot", director="1") ltsmin
 
 %include "std_string.i"