From 29ee11cfd35e9cbcb15ded384f66491751928dac Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 31 Aug 2011 18:32:33 +0200 Subject: [PATCH] Remove unused argument in constructor. * src/taalgos/tgba2ta.cc, src/ta/taexplicit.hh (state_ta_explicit): Remove unused argument in constructor. --- src/ta/taexplicit.hh | 5 ++--- src/taalgos/tgba2ta.cc | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/ta/taexplicit.hh b/src/ta/taexplicit.hh index bc9e03da0..ded8ffe91 100644 --- a/src/ta/taexplicit.hh +++ b/src/ta/taexplicit.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2010 Laboratoire de Recherche et Developpement +// Copyright (C) 2010, 2011 Laboratoire de Recherche et Developpement // de l Epita_explicit (LRDE). // // This file is part of Spot, a model checking library. @@ -164,8 +164,7 @@ namespace spot state_ta_explicit(const state* tgba_state, const bdd tgba_condition, bool is_initial_state = false, bool is_accepting_state = false, - bool is_livelock_accepting_state = false, transitions* trans = 0, - bool is_the_artificial_livelock_accepting_state = false) : + bool is_livelock_accepting_state = false, transitions* trans = 0) : tgba_state_(tgba_state), tgba_condition_(tgba_condition), is_initial_state_(is_initial_state), is_accepting_state_( is_accepting_state), is_livelock_accepting_state_( diff --git a/src/taalgos/tgba2ta.cc b/src/taalgos/tgba2ta.cc index 41db794e6..9a4f5f330 100644 --- a/src/taalgos/tgba2ta.cc +++ b/src/taalgos/tgba2ta.cc @@ -175,7 +175,7 @@ namespace spot state_ta_explicit* artificial_livelock_accepting_state = new state_ta_explicit(ta->get_tgba()->get_init_state(), bddfalse, - false, false, true, 0, true); + false, false, true, 0); add_artificial_livelock_accepting_state(ta, artificial_livelock_accepting_state);