From 871965c7fb89e254a33dc78098fdd1fb486a6e51 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 4 Dec 2015 08:09:10 +0100 Subject: [PATCH] * wrap/python/ajax/spotcgi.in: Adjust for recent renamings. --- wrap/python/ajax/spotcgi.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wrap/python/ajax/spotcgi.in b/wrap/python/ajax/spotcgi.in index 22dd49269..75f387a97 100755 --- a/wrap/python/ajax/spotcgi.in +++ b/wrap/python/ajax/spotcgi.in @@ -334,7 +334,7 @@ def print_stats(automaton, detinfo = False, ta = False): stats = spot.stats_reachable(automaton) detinfo = False else: - if (buchi_type == 't' and automaton.is_inherently_weak() and + if (buchi_type == 't' and automaton.prop_inherently_weak() and automaton.acc().is_buchi()): unbufprint("Note: this is a weak automaton, using transition-based " "or generalized acceptance does not bring any benefit."