diff --git a/Profiling_tools/include/CGAL/Profile_timer.h b/Profiling_tools/include/CGAL/Profile_timer.h index aa643fdc623..759e7cf1a52 100644 --- a/Profiling_tools/include/CGAL/Profile_timer.h +++ b/Profiling_tools/include/CGAL/Profile_timer.h @@ -28,6 +28,9 @@ // Note: be careful at recursive functions... // // See also CGAL/Profile_counter.h +// +// TODO : +// - detect and handle recursion nicely (currently it accumulates recursive times). #include #include