datarace/clockvector: switch 'clocks' to use 'unsigned int' (modelclock_t)

[c11tester.git] / clockvector.cc

diff --git a/clockvector.cc b/clockvector.cc
index 5a7c5349b3cd98ad446e0eb90189cd4b695dbbfa..e0ced522a14f88520f072248d54c7d3de9cee630 100644 (file)
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -88,7 +88,7 @@ bool ClockVector::synchronized_since(ModelAction *act) const
  * Gets the clock corresponding to a given thread id from the clock
  * vector. */
 
-int ClockVector::getClock(thread_id_t thread) {
+modelclock_t ClockVector::getClock(thread_id_t thread) {
        int threadid = id_to_int(thread);
 
        if (threadid < num_threads)