From 13dcafc1853d206f41498933072f16ea37b58189 Mon Sep 17 00:00:00 2001
From: Jan Huwald <jh@sotun.de>
Date: Tue, 25 Jun 2013 11:03:20 +0200
Subject: .


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;
-- 
cgit v0.10.1