diff options
Diffstat (limited to 'c-user/user_extensions.rst')
| -rw-r--r-- | c-user/user_extensions.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst index 662ddf4..2b36afd 100644 --- a/c-user/user_extensions.rst +++ b/c-user/user_extensions.rst @@ -343,7 +343,7 @@ following: void user_fatal_error( Internal_errors_Source the_source, - bool is_internal, + bool always_set_to_false, uint32_t the_error ); |