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

diff --git a/actionlist.cc b/actionlist.cc
index 9f95384d1ac487d94906b99612a69c7e8eb8ba65..0dc8bc89661db7556d4fdc00344f8811d81be927 100644 (file)
--- 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;
                }
        }