diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index edd3da1..1714841 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -136,22 +136,22 @@
       if (Broken)
       {
         msgs << "Broken module found, ";
-	switch (action)
-	{
-	  case AbortProcessAction:
-	    msgs << "compilation aborted!\n";
-	    std::cerr << msgs.str();
-	    abort();
-	  case ThrowExceptionAction:
-	    msgs << "verification terminated.\n";
-	    throw msgs.str();
-	  case PrintMessageAction:
-	    msgs << "verification continues.\n";
-	    std::cerr << msgs.str();
-	    break;
-	  case ReturnStatusAction:
-	    break;
-	}
+        switch (action)
+        {
+          case AbortProcessAction:
+            msgs << "compilation aborted!\n";
+            std::cerr << msgs.str();
+            abort();
+          case ThrowExceptionAction:
+            msgs << "verification terminated.\n";
+            throw msgs.str();
+          case PrintMessageAction:
+            msgs << "verification continues.\n";
+            std::cerr << msgs.str();
+            break;
+          case ReturnStatusAction:
+            break;
+        }
       }
     }