alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/degen.cc (propagate_marks_here): Cleanup previous patch.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-06-30 09:18:03 +02:00
parent 99bf152673
commit db725ffaf8
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spot/twaalgos/degen.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2012-2020 Laboratoire de Recherche
// et Développement de l'Epita (LRDE).
// Copyright (C) 2012-2020, 2022 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
//
@ -1170,7 +1170,7 @@ namespace spot
}
// If aut was state-based acc before, this might no longer
// this might no longer be the case
if (aut->prop_state_acc() == 1)
aut->prop_state_acc(0);
if (aut->prop_state_acc().is_true())
aut->prop_state_acc(false);
}
}