X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=0122922d376ca03a742f03729585f3c48db7b09a;hb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;hp=d2a2c744bea23c0462db61861a6be583f2d50cef;hpb=e6789461057e3395ba78575b85c114b553f4ed19;p=model-checker.git

diff --git a/model.cc b/model.cc
index d2a2c74..0122922 100644
--- a/model.cc
+++ b/model.cc
@@ -2827,7 +2827,7 @@ ModelAction * ModelChecker::get_uninitialized_action(const ModelAction *curr) co
 	Node *node = curr->get_node();
 	ModelAction *act = node->get_uninit_action();
 	if (!act) {
-		act = new ModelAction(ATOMIC_UNINIT, std::memory_order_relaxed, curr->get_location(), 0, model_thread);
+		act = new ModelAction(ATOMIC_UNINIT, std::memory_order_relaxed, curr->get_location(), model->params.uninitvalue, model_thread);
 		node->set_uninit_action(act);
 	}
 	act->create_cv(NULL);