X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=55d5d0d43cfab46bac7a4d8e51987231526f6c33;hb=90471233ff4dcca9a196152574dca4e7cf183698;hp=8e513a3a47c972d70b0e9c3c6a9d72ba3e867171;hpb=fa36db2da01d7da10e0cd375fda3c2db4ce3a05b;p=model-checker.git

diff --git a/model.cc b/model.cc
index 8e513a3..55d5d0d 100644
--- a/model.cc
+++ b/model.cc
@@ -2834,7 +2834,9 @@ static void print_list(action_list_t *list)
 	unsigned int hash = 0;
 
 	for (it = list->begin(); it != list->end(); it++) {
-		(*it)->print();
+		const ModelAction *act = *it;
+		if (act->get_seq_number() > 0)
+			act->print();
 		hash = hash^(hash<<3)^((*it)->hash());
 	}
 	model_print("HASH %u\n", hash);