From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 9 Apr 2020 00:38:53 +0000 (-0700)
Subject: Merge branch 'newactionlist' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b453a87cb63371c235d5da1fc24fd8699a9c57b5;hp=909fa209cb60fff5d6f72e5826eae13e6eca96de;p=c11tester.git

Merge branch 'newactionlist' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into newactionlist
---

diff --git a/actionlist.cc b/actionlist.cc
index 9f95384d..0dc8bc89 100644
--- a/actionlist.cc
+++ b/actionlist.cc
@@ -227,8 +227,7 @@ void actionlist::removeAction(ModelAction * act) {
 void actionlist::clear() {
 	for(uint i = 0;i < ALLNODESIZE;i++) {
 		if (root.children[i] != NULL) {
-			if (!(((uintptr_t) root.children[i]) & ISACT))
-				delete root.children[i];
+			delete root.children[i];
 			root.children[i] = NULL;
 		}
 	}