From ddff0730d0449831223802b5bb274e43102453fe Mon Sep 17 00:00:00 2001
From: Lorenzo Caminiti <lorcaminiti@gmail.com>
Date: Wed, 28 Jan 2015 12:40:34 -0800
Subject: [PATCH] pasring postconditions

---
 include/boost/contract/oldof.hpp | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 include/boost/contract/oldof.hpp

diff --git a/include/boost/contract/oldof.hpp b/include/boost/contract/oldof.hpp
new file mode 100644
index 0000000..63252ce
--- /dev/null
+++ b/include/boost/contract/oldof.hpp
@@ -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
+