From ec6bca79924a18f224918c5a41a1577470bccef7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 5 Oct 2007 13:06:38 +0000 Subject: [PATCH] * wrap/python/cgi/ltl2tgba.in: Adjust to newer versions of swig. --- ChangeLog | 6 +++++- wrap/python/cgi/ltl2tgba.in | 10 +++++----- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/ChangeLog b/ChangeLog index c710534aa..44cf73ee9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,8 @@ -2007-09-19 Alexandre Duret-Lutz +2007-10-05 Alexandre Duret-Lutz + + * wrap/python/cgi/ltl2tgba.in: Adjust to newer versions of swig. + +2007-09-19 Alexandre Duret-Lutz * src/misc/bddalloc.cc (bdd_allocator::initialize): Disable the default GC handler. Reported by diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in index 452c883cb..8080369a3 100644 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -1,8 +1,8 @@ #!@PYTHON@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -# département Systèmes Répartis Coopératifs (SRC), Université Pierre -# et Marie Curie. +# Copyright (C) 2003, 2004, 2006, 2007 Laboratoire d'Informatique de +# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +# Université Pierre et Marie Curie. # # This file is part of Spot, a model checking library. # @@ -528,7 +528,7 @@ if show_dictionnary: automaton.get_dict().dump(spot.get_cout()) print '' -if (type(automaton) == spot.tgba_bdd_concretePtr +if (type(automaton) == spot.tgba_bdd_concrete and (show_relation_set or show_relation_png)): print '

Transition relation

' if show_relation_set: @@ -538,7 +538,7 @@ if (type(automaton) == spot.tgba_bdd_concretePtr render_bdd(imgprefix + '-b', automaton.get_dict(), automaton.get_core_data().relation) -if (type(automaton) == spot.tgba_bdd_concretePtr +if (type(automaton) == spot.tgba_bdd_concrete and (show_acceptance_set or show_acceptance_png)): print '

Acceptance relation

' if show_acceptance_set: