diff --git a/Profiling_tools/examples/Profiling_tools/Profile_counter.cpp b/Profiling_tools/examples/Profiling_tools/Profile_counter.cpp
index 4d79015c3b8..c52d5df6aaf 100644
--- a/Profiling_tools/examples/Profiling_tools/Profile_counter.cpp
+++ b/Profiling_tools/examples/Profiling_tools/Profile_counter.cpp
@@ -4,7 +4,7 @@
 
 int main()
 {
-  for (int i=0; i<10; ++i)
+  for (int i=0; i<10000; ++i)
   {
     CGAL_PROFILER("iterations of the for-loop");
   }