diff options
Diffstat (limited to 'doc/ref/statprof.texi')
| -rw-r--r-- | doc/ref/statprof.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ref/statprof.texi b/doc/ref/statprof.texi index 6282811d1..65f0d473b 100644 --- a/doc/ref/statprof.texi +++ b/doc/ref/statprof.texi @@ -89,7 +89,7 @@ because the overhead of call-counting unfairly penalizes calls. Still, this precise mode can be useful at times to do algorithmic optimizations based on the precise call counts. -@section Implementation notes +@heading Implementation notes The profiler works by setting the unix profiling signal @code{ITIMER_PROF} to go off after the interval you define in the call @@ -109,7 +109,7 @@ code has been executing within the profiler. Only run time counts towards the profile, not wall-clock time. For example, sleeping and waiting for input or output do not cause the timer clock to advance. -@section Usage +@heading Usage @deffn {Scheme Procedure} statprof thunk @ [#:loop loop=1] [#:hz hz=100] @ |