unsused parameter is used in debug mode

This commit is contained in:
Andreas Fabri 2007-03-19 13:49:46 +00:00
parent 7479f988c3
commit ceb1d7d9fc
1 changed files with 1 additions and 1 deletions

View File

@ -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());