Improve fatal error chapter

Update #2825.
2025-10-19 11:10:21 +08:00 · 2016-12-09 10:55:29 +01:00
parent 2ff4255190
commit 00ffe1fa6b
3 changed files with 117 additions and 64 deletions
--- 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
    );