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

* spot/twa/bdddict.hh (bdd_info): Add noexcept, suggested by gcc 12.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-05-17 11:17:37 +02:00
parent d35f7bd37c
commit 4bb58f457b
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/twa/bdddict.hh
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2011-2017 Laboratoire de Recherche et Développement // Copyright (C) 2011-2017, 2022 Laboratoire de Recherche et
// de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
// Université Pierre et Marie Curie. // Université Pierre et Marie Curie.
@ -78,7 +78,7 @@ namespace spot
enum var_type { anon = 0, var, acc }; enum var_type { anon = 0, var, acc };
struct bdd_info { struct bdd_info {
bdd_info() : type(anon) {} bdd_info() noexcept: type(anon) {}
var_type type; var_type type;
formula f; // Used unless t==anon. formula f; // Used unless t==anon.
ref_set refs; ref_set refs;