.

1 files changed, 2 insertions, 2 deletions

diff --git a/cacount.cpp b/cacount.cpp
index 7b59563..ef5b6e6 100644
--- a/cacount.cpp
+++ b/cacount.cpp
@@ -65,6 +65,7 @@ bool iterStateP(function<void(State, bool&)> f, optional<string> msg = optional<
   bool worked = skipWorkTest;
   for (int t=0; t<numThreads; t++)
     worked |= perThreadWorked[t];
+  delete perThreadWorked;
   return worked;
 }
 
@@ -119,8 +120,7 @@ State canonize(State s) {
 
 void cycleStat(Trans &t, Trans &c, pbitset &reachable) {
   struct Stat {
-    State basin, len, eden;
-    StateIter totalBasin;
+    StateIter basin, len, eden, totalBasin;
     explicit Stat() : basin(0), len(0), eden(0), totalBasin(0) {}
   };
   unordered_map<State, Stat> cycStat;