Imported Upstream version 1.72.0

[platform/upstream/boost.git] / libs / contract / example / features / lambda.cpp

diff --git a/libs/contract/example/features/lambda.cpp b/libs/contract/example/features/lambda.cpp
index 4bbc017..6eb9998 100644 (file)
--- a/libs/contract/example/features/lambda.cpp
+++ b/libs/contract/example/features/lambda.cpp
@@ -25,7 +25,7 @@ int main() {
             boost::contract::check c = boost::contract::function()
                 .precondition([&] {
                     BOOST_CONTRACT_ASSERT(
-                            total + x <= std::numeric_limits<int>::max());
+                            total < std::numeric_limits<int>::max() - x);
                 })
                 .postcondition([&] {
                     BOOST_CONTRACT_ASSERT(total == *old_total + x);