From 2f7d24215ec57f5376f06e4cc3d8136a6e26ed28 Mon Sep 17 00:00:00 2001
From: Jan Huwald <jh@sotun.de>
Date: Tue, 25 Jun 2013 14:58:01 +0200
Subject: .


diff --git a/cacount.cpp b/cacount.cpp
index 72134e1..3cda3d9 100644
--- a/cacount.cpp
+++ b/cacount.cpp
@@ -8,7 +8,6 @@
 #include <iostream>
 #include <list>
 #include <map>
-#include <set>
 #include <thread>
 #include <boost/integer.hpp>
 
@@ -129,7 +128,6 @@ void cycleStat(Trans &t, Color &c, pbitset &reachable) {
     explicit Stat() : basin(0), len(0), eden(0), totalBasin(0) {}
   } __attribute__((packed));
   map<State, Stat> cycStat;
-  set<State> redCycleCounted;
 
   // Is this cycle the canonical one?
   // How big is the basin of attraction?
-- 
cgit v0.10.1