diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual.of | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual.of b/manual/manual.of index 9e0b8835..c9e62b49 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
| @@ -6247,7 +6247,7 @@ to its caller. | |||
| 6247 | } | 6247 | } |
| 6248 | 6248 | ||
| 6249 | @LibEntry{error (message [, level])| | 6249 | @LibEntry{error (message [, level])| |
| 6250 | Raises an error @see{error} with @{message} as the error object. | 6250 | Raises an error @see{error} with @id{message} as the error object. |
| 6251 | This function never returns. | 6251 | This function never returns. |
| 6252 | 6252 | ||
| 6253 | Usually, @id{error} adds some information about the error position | 6253 | Usually, @id{error} adds some information about the error position |
