add support for datarace detection...

[model-checker.git] / clockvector.h

diff --git a/clockvector.h b/clockvector.h
index b7d720688a1c6df4a9aad410e1eb4897b08d35ff..470914b1ae2b08b19248b5aba29142c990232b4f 100644 (file)
--- a/clockvector.h
+++ b/clockvector.h
@@ -19,6 +19,7 @@ public:
        bool synchronized_since(ModelAction *act) const;
 
        void print() const;
+       int getClock(thread_id_t thread);
 
        MEMALLOC
 private: