| // Sorry Jon, this was adding library dependencies in Moses and people complained. | |
| /*#include <boost/version.hpp> | |
| #if BOOST_VERSION >= 104800 | |
| #include <boost/timer/timer.hpp> | |
| #define UTIL_TIMER(str) boost::timer::auto_cpu_timer timer(std::cerr, 1, (str)) | |
| #else | |
| //#warning Using Boost older than 1.48. Timing information will not be available.*/ | |
| //#endif | |