From ae62265ec8906d671b4de83cac615cdbb6d218d8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 3 Apr 2014 17:14:09 +0200
Subject: [PATCH] Adjust to Swig 3.0.

* wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py: Use
Boolean instead of integers.
---
 wrap/python/tests/ltl2tgba.py | 6 +++---
 wrap/python/tests/ltlparse.py | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/wrap/python/tests/ltl2tgba.py b/wrap/python/tests/ltl2tgba.py
index a1dc464d4..bf46d43e2 100755
--- a/wrap/python/tests/ltl2tgba.py
+++ b/wrap/python/tests/ltl2tgba.py
@@ -1,5 +1,5 @@
 # -*- mode: python; coding: utf-8 -*-
-# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et
+# Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
 # Développement de l'Epita (LRDE).
 # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -51,7 +51,7 @@ except getopt.GetoptError:
     usage(prog)
 
 exit_code = 0
-debug_opt = 0
+debug_opt = False
 degeneralize_opt = None
 output = 0
 fm_opt = 0
@@ -62,7 +62,7 @@ for o, a in opts:
     elif o == '-A':
         output = 4
     elif o == '-d':
-        debug_opt = 1
+        debug_opt = True
     elif o == '-D':
         degeneralize_opt = 1
     elif o == '-f':
diff --git a/wrap/python/tests/ltlparse.py b/wrap/python/tests/ltlparse.py
index f972432ee..a97c74b81 100755
--- a/wrap/python/tests/ltlparse.py
+++ b/wrap/python/tests/ltlparse.py
@@ -1,6 +1,6 @@
 # -*- mode: python; coding: utf-8 -*-
-# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et Développement
-# de l'Epita (LRDE).
+# Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
+# Développement de l'Epita (LRDE).
 # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 # département Systèmes Répartis Coopératifs (SRC), Université Pierre
 # et Marie Curie.
@@ -29,7 +29,7 @@ p = spot.empty_parse_error_list()
 l = ['GFa', 'a U (((b)) xor c)', '!(FFx <=> Fx)', 'a \/ a \/ b \/ a \/ a'];
 
 for str1 in l:
-    f = spot.parse(str1, p, e, 0)
+    f = spot.parse(str1, p, e, False)
     if spot.format_parse_errors(spot.get_cout(), str1, p):
         sys.exit(1)
     str2 = str(f)