Imported Upstream version 1.72.0

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

diff --git a/libs/contract/example/features/old.cpp b/libs/contract/example/features/old.cpp
index ec732a0..bdf8b8c 100644 (file)
--- a/libs/contract/example/features/old.cpp
+++ b/libs/contract/example/features/old.cpp
@@ -11,17 +11,17 @@
 //[old
 char replace(std::string& s, unsigned index, char x) {
     char result;
-    boost::contract::old_ptr<char> old_y; // Null, old value copied later...
+    boost::contract::old_ptr<char> old_char; // Null, old value copied later...
     boost::contract::check c = boost::contract::function()
         .precondition([&] {
             BOOST_CONTRACT_ASSERT(index < s.size());
         })
         .old([&] { // ...after preconditions (and invariants) checked.
-            old_y = BOOST_CONTRACT_OLDOF(s[index]);
+            old_char = BOOST_CONTRACT_OLDOF(s[index]);
         })
         .postcondition([&] {
             BOOST_CONTRACT_ASSERT(s[index] == x);
-            BOOST_CONTRACT_ASSERT(result == *old_y);
+            BOOST_CONTRACT_ASSERT(result == *old_char);
         })
     ;