@@ -60,7 +60,6 @@ vector<double> make_votes(
replaces.push_back(j < numVotes);
}
shuffle(replaces.begin(), replaces.end(), generator);
-
Proof baseProof;
vector<Proof> fullProof;