Skip to content

Commit b6c506d

Browse files
authored
Merge pull request #261 from PatchMixolydic/patch-1
Replace "task failure" with "panicking" in C-DTOR-FAIL
2 parents cfbc77c + 8a6002a commit b6c506d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/dependability.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ inputs are valid.
7676
<a id="c-dtor-fail"></a>
7777
## Destructors never fail (C-DTOR-FAIL)
7878

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

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

0 commit comments

Comments
 (0)