X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=5ecc1f0e1b26f069650a47e139858eef68e05595;hb=9bbf98ac065e34fc1c35538328d02d51e74ccc0f;hp=3d46bd91aa0de6a2dd1a5729a1867fd3737343b3;hpb=7888740e94be8706a4e09ae216dcf2e378257617;p=model-checker.git

diff --git a/action.cc b/action.cc
index 3d46bd9..5ecc1f0 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),
+	last_fence_release(NULL),
 	node(NULL),
 	seq_number(ACTION_INITIAL_CLOCK),
 	cv(NULL),