From 561256ee0ba935ec7d4026d427a8e5249d45c48a Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Mon, 15 Apr 2024 15:37:12 +0200
Subject: [PATCH] use override instead of virtual

---
 .../CGAL/STL_Extension/internal/mesh_option_classes.h  | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/STL_Extension/include/CGAL/STL_Extension/internal/mesh_option_classes.h b/STL_Extension/include/CGAL/STL_Extension/internal/mesh_option_classes.h
index 32dc74edc6a..201c50e1e4f 100644
--- a/STL_Extension/include/CGAL/STL_Extension/internal/mesh_option_classes.h
+++ b/STL_Extension/include/CGAL/STL_Extension/internal/mesh_option_classes.h
@@ -187,20 +187,20 @@ struct Input_const_iterator_container
 public:
   Input_const_iterator_container(const Iterator& it) : it_(it) {}
 
-  virtual ~Input_const_iterator_container() {}
+  ~Input_const_iterator_container() override {}
 
-  virtual const Value& operator*()
+  const Value& operator*() override
   {
     return *it_;
   }
 
-  virtual Input_const_iterator_interface<Value>* operator++()
+  Input_const_iterator_interface<Value>* operator++() override
   {
     ++it_;
     return this;
   }
 
-  virtual bool operator!=(const Input_const_iterator_interface<Value>* other) const
+  bool operator!=(const Input_const_iterator_interface<Value>* other) const override
   {
     const Self* other_casted = dynamic_cast<const Self*>(other);
     if (other_casted == nullptr)
@@ -208,7 +208,7 @@ public:
     return it_ != other_casted->it_;
   }
 
-  virtual Input_const_iterator_interface<Value>* clone()
+  Input_const_iterator_interface<Value>* clone() override
   {
     return new Input_const_iterator_container<Value, Iterator>(it_);
   }