X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=0a6a1dd26665a6d553b4e0b7c258f519330bba56;hb=6bbd9b9dd928e62df9dffbf9027124112eec0576;hp=81f447a5b13f9d8e3db3e352e4be49f4659559b0;hpb=e0f80c403452e544452f64687b3c489a869e4f77;p=model-checker.git

diff --git a/action.cc b/action.cc
index 81f447a..0a6a1dd 100644
--- a/action.cc
+++ b/action.cc
@@ -392,9 +392,10 @@ Node * ModelAction::get_node() const
  */
 void ModelAction::set_read_from(const ModelAction *act)
 {
+	ASSERT(act);
 	reads_from = act;
 	reads_from_promise = NULL;
-	if (act && act->is_uninitialized())
+	if (act->is_uninitialized())
 		model->assert_bug("May read from uninitialized atomic\n");
 }