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

remove stray semi-colons reported by -Wpedantic

Browse source 
* spot/priv/weight.cc, spot/priv/weight.hh,
spot/twaalgos/determinize.cc, spot/twaalgos/stats.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-02-01 14:16:09 +01:00
parent 70c70a63a3
commit 825c8a8ad9
4 changed files with 12 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/priv/weight.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2011, 2014, 2016 Laboratoire de Recherche et // Copyright (C) 2011, 2014, 2016, 2017 Laboratoire de Recherche et
// Developpement de l'Epita. // Developpement de l'Epita.
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -63,5 +63,4 @@ namespace spot
os << '(' << n << ',' << w.m[n] << ')'; os << '(' << n << ',' << w.m[n] << ')';
return os; return os;
} }
}
};

4
spot/priv/weight.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2015 Laboratoire de Recherche et Développement de // Copyright (C) 2015, 2017 Laboratoire de Recherche et Développement de
// l'Epita (LRDE). // l'Epita (LRDE).
// Copyright (C) 2004, 2014 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2004, 2014 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -53,4 +53,4 @@ namespace spot
private: private:
std::vector<int> m; std::vector<int> m;
}; };
}; }

6
spot/twaalgos/determinize.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement // Copyright (C) 2015, 2016, 2017 Laboratoire de Recherche et
// de l'Epita. // Développement de l'Epita.
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -44,7 +44,7 @@ namespace spot
void truncate_braces(std::vector<brace_t>& braces, void truncate_braces(std::vector<brace_t>& braces,
const std::vector<unsigned>& rem_succ_of, const std::vector<unsigned>& rem_succ_of,
std::vector<size_t>& nb_braces); std::vector<size_t>& nb_braces);
}; }
class safra_state final class safra_state final
{ {

10
spot/twaalgos/stats.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2008, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire // Copyright (C) 2008, 2011, 2012, 2013, 2014, 2015, 2016, 2017
// de Recherche et Développement de l'Epita (LRDE). // Laboratoire de Recherche et Développement de l'Epita (LRDE).
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -124,7 +124,7 @@ namespace spot
} }
} }
while (todo_pos > 0); while (todo_pos > 0);
}; }
} // anonymous } // anonymous
@ -192,7 +192,7 @@ namespace spot
void printable_formula::print(std::ostream& os, const char*) const void printable_formula::print(std::ostream& os, const char*) const
{ {
print_psl(os, val_); print_psl(os, val_);
}; }
void printable_scc_info::print(std::ostream& os, const char* pos) const void printable_scc_info::print(std::ostream& os, const char* pos) const
{ {
@ -307,7 +307,7 @@ namespace spot
} }
os << count; os << count;
}; }
stat_printer::stat_printer(std::ostream& os, const char* format) stat_printer::stat_printer(std::ostream& os, const char* format)