diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 81c02f05a..daa2ab783 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -522,11 +522,11 @@ an identifier: aUb is an atomic proposition, unlike
then


diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in index b78365307..4473f52f1 100755 --- a/wrap/python/ajax/spot.in +++ b/wrap/python/ajax/spot.in @@ -693,7 +693,7 @@ if output_type == 'r': print_acc_run = False draw_acc_run = False - s = form.getfirst('rf', 'p') + s = form.getfirst('rf', 'd') if s == 'p': print_acc_run = True elif s == 'd':