diff --git a/src/dependability.md b/src/dependability.md index 7936927..dffcc66 100644 --- a/src/dependability.md +++ b/src/dependability.md @@ -76,7 +76,7 @@ inputs are valid. ## 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