diff --git a/src/profile.c b/src/profile.c index 49737498ca..4ae75b2783 100644 --- a/src/profile.c +++ b/src/profile.c @@ -83,7 +83,7 @@ ** we provide -P (profiling) and -c (code coverage) options to the GAP ** executable so the user can start before code loading starts ** -** 3) Operating at just a line basis can sometimes be too course. However, +** 3) Operating at just a line basis can sometimes be too coarse. However, ** without some serious additional overheads, I can't see how to provide this ** functionality in output (basically we would have to store ** line and character positions for the start and end of every expression).