* wrap/python/tests/bddnqueen.py, wrap/python/tests/interdep.py,

wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py,
wrap/python/tests/ltlsimple.py: Specify coding system to
accommodate newer Python versions.

ChangeLog

@@ -1,5 +1,10 @@
 2004-02-02  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* wrap/python/tests/bddnqueen.py, wrap/python/tests/interdep.py,
+	wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py,
+	wrap/python/tests/ltlsimple.py: Specify coding system to
+	accommodate newer Python versions.
+
 	* src/misc/bddalloc.hh: Make all methods public.
 	* wrap/python/spot.i: Include misc/bddalloc.hh and misc/minato.hh.
 	* wrap/python/tests/minato.py: New file.

wrap/python/tests/bddnqueen.py

@@ -1,4 +1,5 @@
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# -*- mode: python; coding: iso-8859-1 -*-
+# 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.
 #
@@ -30,7 +31,7 @@ from buddy import *
 # that (i,j) has a queen.
 def build(i, j):
     a = b = c = d = bddtrue
-    
+
     # No one in the same column.
     for l in side:
         if l != j:

wrap/python/tests/interdep.py

@@ -1,4 +1,5 @@
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# -*- mode: python; coding: iso-8859-1 -*-
+# 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.
 #

wrap/python/tests/ltl2tgba.py

@@ -1,4 +1,5 @@
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# -*- mode: python; coding: iso-8859-1 -*-
+# 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.
 #
@@ -20,7 +21,7 @@
 # 02111-1307, USA.
 
 # This is a python translation of the ltl2tgba C++ test program.
-# Compare with src/tgbatest/ltl2tgba.test.
+# Compare with src/tgbatest/ltl2tgba.cc.
 
 import sys
 import getopt

wrap/python/tests/ltlparse.py

@@ -1,4 +1,5 @@
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# -*- mode: python; coding: iso-8859-1 -*-
+# 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.
 #

wrap/python/tests/ltlsimple.py

@@ -1,4 +1,5 @@
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# -*- mode: python; coding: iso-8859-1 -*-
+# 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.
 #