diff options
Diffstat (limited to 'doc/misc/sem-user.texi')
-rw-r--r-- | doc/misc/sem-user.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/sem-user.texi b/doc/misc/sem-user.texi index b17f1ab7e93..463276f9fd0 100644 --- a/doc/misc/sem-user.texi +++ b/doc/misc/sem-user.texi @@ -608,7 +608,7 @@ of parsing. The default is @code{t}. @node Debugging Idle Time Issues @subsection Debugging Idle Time Issues -If you see an error signalled during idle time, it could be an +If you see an error signaled during idle time, it could be an indication of a more serious issue elsewhere. It is not enough to enable @code{debug-on-error}, because the idle scheduler inhibits the debugger. Instead, use the following commands to debug the error: |