X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=72ca472657e79f370773aae58c414fe645b0890d;hb=69a103256c5625ab2d9a472bdf060b31cea3ec0b;hp=2fb498f4a05baf6dc783f7efdf2efc5bd2db0c9b;hpb=76e48f210747b7ef23387ffd7c33ea0009c1d922;p=model-checker.git

diff --git a/action.cc b/action.cc
index 2fb498f..72ca472 100644
--- a/action.cc
+++ b/action.cc
@@ -31,6 +31,7 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
 	location(loc),
 	value(value),
 	reads_from(NULL),
+	reads_from_promise(NULL),
 	last_fence_release(NULL),
 	node(NULL),
 	seq_number(ACTION_INITIAL_CLOCK),