@@ -166,7 +166,7 @@ public:
void dint(typename common::DoubleTime::type t)
{
- std::cout << get_name() << " at " << t << ": dint" << std::endl;
+ // std::cout << get_name() << " at " << t << ": dint" << std::endl;
mark_full(t);
if (full_N()) {