pasring postconditions

This commit is contained in:
Lorenzo Caminiti
2015-01-28 12:40:34 -08:00
parent 2f4b620382
commit ddff0730d0

View File

@@ -0,0 +1,10 @@
#ifndef BOOST_CONTRACT_OLDOF_HPP_
#define BOOST_CONTRACT_OLDOF_HPP_
#include <boost/contract/ext_/preprocessor/traits/oldof.hpp>
#define BOOST_CONTRACT_OLDOF BOOST_CONTRACT_EXT_PP_TRAITS_OLDOF_OPERATOR
#endif // #include guard