From ceb1d7d9fc14183258ae7e9cb80afcfc2524c8c6 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Mon, 19 Mar 2007 13:49:46 +0000 Subject: [PATCH] unsused parameter is used in debug mode --- Arrangement_2/include/CGAL/Arr_segment_traits_2.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Arrangement_2/include/CGAL/Arr_segment_traits_2.h b/Arrangement_2/include/CGAL/Arr_segment_traits_2.h index 9f5561bf4f7..66651e80ff5 100644 --- a/Arrangement_2/include/CGAL/Arr_segment_traits_2.h +++ b/Arrangement_2/include/CGAL/Arr_segment_traits_2.h @@ -583,7 +583,7 @@ public: */ Comparison_result operator() (const X_monotone_curve_2& cv1, const X_monotone_curve_2& cv2, - const Point_2& ) const + const Point_2& p) const { CGAL_precondition (! cv1.is_degenerate()); CGAL_precondition (! cv2.is_degenerate());