Merge branch 'newactionlist' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...
[c11tester.git] / actionlist.cc
index 9f95384..0dc8bc8 100644 (file)
@@ -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;
                }
        }