promise: construct with a 'future_value' struct

[model-checker.git] / promise.h

diff --git a/promise.h b/promise.h
index 413d360896e282abb66a21d98c3cec689c428dd9..ce5bea168f60cfacc4ee01efaad343a1db2c9039 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -20,8 +20,11 @@ struct future_value {
 
 class Promise {
  public:
- Promise(ModelAction *act, uint64_t value, modelclock_t expiration) :
-       value(value), expiration(expiration), read(act), write(NULL)
+       Promise(ModelAction *act, struct future_value fv) :
+               value(fv.value),
+               expiration(fv.expiration),
+               read(act),
+               write(NULL)
        {
                increment_threads(act->get_tid());
        }