Remove unused function.

[oota-llvm.git] / tools / bugpoint / ListReducer.h

diff --git a/tools/bugpoint/ListReducer.h b/tools/bugpoint/ListReducer.h
index a8f538a457beb7b178d886ab749b518934a4c4c0..de3f3892001e65633d31304586e396285c1e6fa9 100644 (file)
--- a/tools/bugpoint/ListReducer.h
+++ b/tools/bugpoint/ListReducer.h
@@ -2,8 +2,8 @@
 //
 //                     The LLVM Compiler Infrastructure
 //
-// This file was developed by the LLVM research group and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
@@ -80,18 +80,17 @@ Backjump:
         std::cerr << "\n\n*** Reduction Interrupted, cleaning up...\n\n";
         return true;
       }
-               
+
       // If the loop doesn't make satisfying progress, try shuffling.
       // The purpose of shuffling is to avoid the heavy tails of the
       // 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";
-       // Check that random shuffle doesn't loose the bug
-       if (doTest(ShuffledList, empty) == KeepPrefix) {
+          NumOfIterationsWithoutProgress > MaxIterations) {
+        std::vector<ElTy> ShuffledList(TheList);
+        std::random_shuffle(ShuffledList.begin(), ShuffledList.end());
+        std::cerr << "\n\n*** Testing shuffled set...\n\n";
+        // Check that random shuffle doesn't loose the bug
+        if (doTest(ShuffledList, empty) == KeepPrefix) {
           // If the bug is still here, use the shuffled list.
           TheList.swap(ShuffledList);
           MidTop = TheList.size();
@@ -99,11 +98,11 @@ Backjump:
           // probability of inifinite looping without making progress.
           MaxIterations += 2;
           std::cerr << "\n\n*** Shuffling does not hide the bug...\n\n";
-       } else {
+        } else {
           ShufflingEnabled = false; // Disable shuffling further on
           std::cerr << "\n\n*** Shuffling hides the bug...\n\n";
-       }
-       NumOfIterationsWithoutProgress = 0;
+        }
+        NumOfIterationsWithoutProgress = 0;
       }
       
       unsigned Mid = MidTop / 2;