From 9c9a3b576bfa8c8870ff8708c040a4cfb7b028a4 Mon Sep 17 00:00:00 2001 From: David Mitchell Date: Wed, 23 Sep 2015 09:44:07 -0700 Subject: [PATCH] Fix typo. --- CppCoreGuidelines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md index f28366f..dc08f80 100644 --- a/CppCoreGuidelines.md +++ b/CppCoreGuidelines.md @@ -1205,7 +1205,7 @@ Postconditions related only to internal state belongs in the definition/implemen **Alternative**: Postconditions of the form "this resource must be released" are best expressed by [RAII](#Rr-raii). -Ideally, that `Ensured` should be part of the interface that's not easily done. For now, we place it in the definition (function body). +Ideally, that `Ensures` should be part of the interface that's not easily done. For now, we place it in the definition (function body). **Enforcement**: (Not enforceable) Finding the variety of ways postconditions can be asserted is not feasible. Warning about those that can be easily identified (assert()) has questionable value in the absence of a language facility.