@@ -165,6 +165,9 @@ public:
void dint(typename common::DoubleTime::type t)
{
+
+ std::cout << get_name() << " at " << t << ": dint" << std::endl;
mark_full(t);
if (full_N()) {
raz();