Imported Upstream version 1.72.0

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

diff --git a/libs/contract/example/features/move.cpp b/libs/contract/example/features/move.cpp
index caa68f3..de54d16 100644 (file)
--- a/libs/contract/example/features/move.cpp
+++ b/libs/contract/example/features/move.cpp
@@ -22,7 +22,7 @@ public:
     }
     
     // Move constructor.
-    /* implicit */ circular_buffer(circular_buffer&& other) :
+    circular_buffer(circular_buffer&& other) :
         boost::contract::constructor_precondition<circular_buffer>([&] {
             BOOST_CONTRACT_ASSERT(!other.moved());
         })
@@ -87,7 +87,7 @@ public:
     }
 
     // Copy constructor.
-    /* implicit */ circular_buffer(circular_buffer const& other) :
+    circular_buffer(circular_buffer const& other) :
         boost::contract::constructor_precondition<circular_buffer>([&] {
             BOOST_CONTRACT_ASSERT(!other.moved());
         })