Detabify.

llvm-svn: 47596
This commit is contained in:
Bill Wendling 2008-02-26 10:46:10 +00:00
parent a2fedd7d9c
commit 9f23194fe2
5 changed files with 55 additions and 56 deletions

View File

@ -86,7 +86,6 @@ Backjump:
// distribution (improving the speed of convergence).
if (ShufflingEnabled &&
NumOfIterationsWithoutProgress > MaxIterations) {
std::vector<ElTy> ShuffledList(TheList);
std::random_shuffle(ShuffledList.begin(), ShuffledList.end());
std::cerr << "\n\n*** Testing shuffled set...\n\n";