remove an unused parameter

This commit is contained in:
Andreas Fabri 2013-02-26 17:15:26 +01:00
parent 8a309aac1b
commit 8810523770
1 changed files with 1 additions and 1 deletions

View File

@ -622,7 +622,7 @@ public:
// POINT LOCATION
//---------------
private:
Locate_result locate(const Point_2& p, const Tag_false&) const {
Locate_result locate(const Point_2& , const Tag_false&) const {
static unsigned int i = 0;
if ( i == 0 ) {
i++;