X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.cc;h=881072948096add52df9eb4d202ff4dc33614dd7;hp=92bb30ebbd4df62f3205fb6f42211df22b40cce0;hb=8b70aaea8a650607df5361c47aee0bd0c74e6e72;hpb=74ac6c2fab9f394a9992431079ed2dbede1144c0

diff --git a/action.cc b/action.cc
index 92bb30eb..88107294 100644
--- a/action.cc
+++ b/action.cc
@@ -46,7 +46,7 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
 	seq_number(ACTION_INITIAL_CLOCK)
 {
 	/* References to NULL atomic variables can end up here */
-	ASSERT(loc || type == ATOMIC_FENCE || type == NOOP);
+	ASSERT(loc || type == ATOMIC_FENCE);
 
 	Thread *t = thread ? thread : thread_current();
 	this->tid = t!= NULL ? t->get_id() : -1;