Skip to content

Commit

Permalink
Update src/profile.c
Browse files Browse the repository at this point in the history
Co-authored-by: Max Horn <[email protected]>
  • Loading branch information
ChrisJefferson and fingolfin authored Dec 23, 2022
1 parent 39aaf19 commit 7533674
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/profile.c
Original file line number Diff line number Diff line change
Expand Up @@ -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).
Expand Down

0 comments on commit 7533674

Please sign in to comment.