Skip to content

Commit

Permalink
Merge pull request #261 from PatchMixolydic/patch-1
Browse files Browse the repository at this point in the history
Replace "task failure" with "panicking" in C-DTOR-FAIL
  • Loading branch information
joshtriplett authored Jun 12, 2022
2 parents cfbc77c + 8a6002a commit b6c506d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dependability.md
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ inputs are valid.
<a id="c-dtor-fail"></a>
## Destructors never fail (C-DTOR-FAIL)

Destructors are executed on task failure, and in that context a failing
Destructors are executed while panicking, and in that context a failing
destructor causes the program to abort.

Instead of failing in a destructor, provide a separate method for checking for
Expand Down

0 comments on commit b6c506d

Please sign in to comment.