diff --git a/src/ltlvisit/mutation.cc b/src/ltlvisit/mutation.cc
index f053eaa6b..f582b4857 100644
--- a/src/ltlvisit/mutation.cc
+++ b/src/ltlvisit/mutation.cc
@@ -46,7 +46,7 @@ namespace spot
   {
     namespace
     {
-      class replace_visitor : public clone_visitor
+      class replace_visitor final : public clone_visitor
       {
       public:
 	void visit(const atomic_prop* ap)
@@ -73,7 +73,7 @@ namespace spot
       };
 
       typedef std::vector<const formula*> vec;
-      class mutation_visitor : public clone_visitor
+      class mutation_visitor final : public clone_visitor
       {
       public:
         mutation_visitor(const formula* f, unsigned opts) : f_(f), opts_(opts)
diff --git a/src/ltlvisit/relabel.cc b/src/ltlvisit/relabel.cc
index 5ddacf40d..52fb3a185 100644
--- a/src/ltlvisit/relabel.cc
+++ b/src/ltlvisit/relabel.cc
@@ -45,7 +45,7 @@ namespace spot
 	virtual ~ap_generator() {}
       };
 
-      struct pnn_generator: ap_generator
+      struct pnn_generator final: ap_generator
       {
 	unsigned nn;
 	pnn_generator()
@@ -61,7 +61,7 @@ namespace spot
 	}
       };
 
-      struct abc_generator: ap_generator
+      struct abc_generator final: ap_generator
       {
       public:
 	abc_generator()
@@ -446,7 +446,7 @@ namespace spot
       }
 
 
-      class bse_relabeler: public relabeler
+      class bse_relabeler final: public relabeler
       {
       public:
 	fset& c;
diff --git a/src/ltlvisit/remove_x.cc b/src/ltlvisit/remove_x.cc
index 1896130f1..774468e92 100644
--- a/src/ltlvisit/remove_x.cc
+++ b/src/ltlvisit/remove_x.cc
@@ -36,7 +36,7 @@ namespace spot
 #define G(x)      unop::instance(unop::G, (x))
 #define U(x, y)   binop::instance(binop::U, (x), (y))
 
-      class remove_x_visitor : public clone_visitor
+      class remove_x_visitor final : public clone_visitor
       {
 	typedef clone_visitor super;
 	atomic_prop_set aps;