j
k
j a
j l
Lorenzo Caminiti wrote:
boost::contract::old_ptr<int> old_x = BOOST_CONTRACT_OLDOF(x);
Hi Lorenzo, Why is the old value a pointer instead of just a local copy?
Back to the thread
Back to the list