diff --git a/tidl_api/src/util.h b/tidl_api/src/util.h
index 554f30836a067af85d517d2281cad3bdcc2b68a1..e32ca3d350cb5534f5df01384ab8913b1bac9886 100644 (file)
--- a/tidl_api/src/util.h
+++ b/tidl_api/src/util.h
void Update(int frame_idx, EventKind k, int type=0, int id=0);
void Zero (int frame_idx, EventKind k);
+ TimeStamp(const TimeStamp&) = delete;
+ TimeStamp& operator=(const TimeStamp&) = delete;
+
private:
Entry* entries_m;
const int num_entries_m;