Trivial bug-fix: fix a warning about unused parameter

2014-01-06 14:27:09 +01:00 · 2014-01-06 14:27:09 +01:00 · 983480e222
parent 92fbeb4926
commit 983480e222
1 changed files with 1 additions and 1 deletions
--- a/Voronoi_diagram_2/include/CGAL/Voronoi_diagram_2/Cached_degeneracy_testers.h
+++ b/Voronoi_diagram_2/include/CGAL/Voronoi_diagram_2/Cached_degeneracy_testers.h
@ -328,7 +328,7 @@ public:
    vmap.clear();
  }
-  void swap(Self& other) {
+  void swap(Self& /* other */) {
    // doing a real swap is not ready yet
 #if 1
    clear();