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

bloemen: fix a unused variable warning

Browse source 
As discussed in #510.

* spot/mc/bloemen_ec.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2022-07-06 16:34:01 +02:00
parent ee55dabfaa
commit 69eba6fd9a
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/mc/bloemen_ec.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2015, 2016, 2017, 2018, 2019, 2020 Laboratoire de Recherche et
// Copyright (C) 2015-2020, 2022 Laboratoire de Recherche et
// Developpement de l'Epita
//
// This file is part of Spot, a model checking library.
@ -556,8 +556,8 @@ namespace spot
{
auto root = uf_.find(w.second);
std::lock_guard<std::mutex> lock(w.second->acc_mutex_);
scc_acc = w.second->acc;
std::lock_guard<std::mutex> lock(root->acc_mutex_);
scc_acc = root->acc;
}
// cycle found in SCC and it contains acceptance condition