Fix API of Default visitor

This commit is contained in:
Andreas Fabri 2022-03-29 17:36:04 +01:00
parent 28fa5ecd2b
commit 6873b3418d
1 changed files with 1 additions and 1 deletions

View File

@ -122,7 +122,7 @@ struct Default_surface_intersection_visitor{
{} {}
// needed for progress tracking // needed for progress tracking
void progress_filter_intersection(double d){} void progress_filter_intersection(double d) const{}
void start_filter_intersections() const {} void start_filter_intersections() const {}