future_value: add thread ID parameter

[model-checker.git] / promise.h

diff --git a/promise.h b/promise.h
index 7e6e396e15f9330e24ed7590e6abaefc9f3b1c38..3c0d5dddd7330e33f06bbc9c2a21320963e6fc4c 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -16,6 +16,7 @@
 struct future_value {
        uint64_t value;
        modelclock_t expiration;
+       thread_id_t tid;
 };
 
 class Promise {