diff options
Diffstat (limited to 'doc/ref/api-control.texi')
-rw-r--r-- | doc/ref/api-control.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ref/api-control.texi b/doc/ref/api-control.texi index 7a5fb1e24..1f33c43b5 100644 --- a/doc/ref/api-control.texi +++ b/doc/ref/api-control.texi @@ -777,7 +777,7 @@ means that the @code{catch} applies to all exceptions, irrespective of their type. The second argument of a @code{catch} expression should be a thunk -(i.e. a procedure that accepts no arguments) that specifies the normal +(i.e.@: a procedure that accepts no arguments) that specifies the normal case code. The @code{catch} is active for the execution of this thunk, including any code called directly or indirectly by the thunk's body. Evaluation of the @code{catch} expression activates the catch and then |