Commit 9b9c2b3c authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* spot/twaalgos/compsusp.cc: Fix a warning from gcc-snapshot.

parent 44d9a629
// -*- coding: utf-8 -*-
// Copyright (C) 2012-2015, 2018 Laboratoire de Recherche et
// Copyright (C) 2012-2015, 2018, 2019 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
......@@ -169,7 +169,7 @@ namespace spot
// Copy all atomic propositions, except the one corresponding
// to the variable v used for synchronization.
int vn = bdd_var(v);
assert(dict->bdd_map[vn].type = bdd_dict::var);
assert(dict->bdd_map[vn].type == bdd_dict::var);
formula vf = dict->bdd_map[vn].f;
for (auto a: left->ap())
if (a != vf)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment