diff --git a/Kinetic_data_structures/include/CGAL/Kinetic/Heap_pointer_event_queue.h b/Kinetic_data_structures/include/CGAL/Kinetic/Heap_pointer_event_queue.h index 5a6b89fd1cb..c19832e5562 100644 --- a/Kinetic_data_structures/include/CGAL/Kinetic/Heap_pointer_event_queue.h +++ b/Kinetic_data_structures/include/CGAL/Kinetic/Heap_pointer_event_queue.h @@ -625,14 +625,15 @@ protected: //! debugging bool is_valid() const { +#ifndef CGAL_NO_ASSERTIONS for (unsigned int i=0; i< queue_.size(); ++i) { - //int bin= i; int back= queue_[i]->bin(); CGAL_assertion(static_cast(back)==i || write(std::cerr)); CGAL_assertion(!less_than_parent(i) || write(std::cerr)); //CGAL_assertion(less_than_child(i, FIRST)); //CGAL_assertion(less_than_child(i, SECOND)); } +#endif return true; }