From 825c8a8ad9317993d2f58e0f118e73be8f196242 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 1 Feb 2017 14:16:09 +0100
Subject: [PATCH] remove stray semi-colons reported by -Wpedantic

* spot/priv/weight.cc, spot/priv/weight.hh,
spot/twaalgos/determinize.cc, spot/twaalgos/stats.cc: Here.
---
 spot/priv/weight.cc          |  5 ++---
 spot/priv/weight.hh          |  4 ++--
 spot/twaalgos/determinize.cc |  6 +++---
 spot/twaalgos/stats.cc       | 10 +++++-----
 4 files changed, 12 insertions(+), 13 deletions(-)

diff --git a/spot/priv/weight.cc b/spot/priv/weight.cc
index 0057b48f6..18f0009d5 100644
--- a/spot/priv/weight.cc
+++ b/spot/priv/weight.cc
@@ -1,5 +1,5 @@
 // -*- 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.
 // Copyright (C) 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -63,5 +63,4 @@ namespace spot
       os << '(' << n << ',' << w.m[n] << ')';
     return os;
   }
-
-};
+}
diff --git a/spot/priv/weight.hh b/spot/priv/weight.hh
index b861ba189..fb3063755 100644
--- a/spot/priv/weight.hh
+++ b/spot/priv/weight.hh
@@ -1,5 +1,5 @@
 // -*- 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).
 // Copyright (C) 2004, 2014  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -53,4 +53,4 @@ namespace spot
   private:
     std::vector<int> m;
   };
-};
+}
diff --git a/spot/twaalgos/determinize.cc b/spot/twaalgos/determinize.cc
index cc7e0cdb9..37e9ede1f 100644
--- a/spot/twaalgos/determinize.cc
+++ b/spot/twaalgos/determinize.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement
-// de l'Epita.
+// Copyright (C) 2015, 2016, 2017 Laboratoire de Recherche et
+// Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -44,7 +44,7 @@ namespace spot
     void truncate_braces(std::vector<brace_t>& braces,
                          const std::vector<unsigned>& rem_succ_of,
                          std::vector<size_t>& nb_braces);
-  };
+  }
 
   class safra_state final
   {
diff --git a/spot/twaalgos/stats.cc b/spot/twaalgos/stats.cc
index 60461c86d..5ff628e62 100644
--- a/spot/twaalgos/stats.cc
+++ b/spot/twaalgos/stats.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2008, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire
-// de Recherche et Développement de l'Epita (LRDE).
+// Copyright (C) 2008, 2011, 2012, 2013, 2014, 2015, 2016, 2017
+// Laboratoire de Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -124,7 +124,7 @@ namespace spot
             }
         }
       while (todo_pos > 0);
-    };
+    }
 
   } // anonymous
 
@@ -192,7 +192,7 @@ namespace spot
   void printable_formula::print(std::ostream& os, const char*) const
   {
     print_psl(os, val_);
-  };
+  }
 
   void printable_scc_info::print(std::ostream& os, const char* pos) const
   {
@@ -307,7 +307,7 @@ namespace spot
       }
 
     os << count;
-  };
+  }
 
 
   stat_printer::stat_printer(std::ostream& os, const char* format)