diff --git a/src/test/main.cpp b/src/test/main.cpp
index 967435167..76e6b10bd 100644
--- a/src/test/main.cpp
+++ b/src/test/main.cpp
@@ -15,7 +15,7 @@
 // Unit tests fail by asserting.
 // If they return, we assume the unit test succeeds
 // and print "PASS" to indicate success.
-// 
+//
 
 #define TST(MODULE) {                                        \
         std::string s("test ");                              \
@@ -29,7 +29,7 @@
                 enable_debug(#MODULE);                       \
                 timeit timeit(true, s.c_str());              \
                 tst_##MODULE();                              \
-                    std::cout << "PASS" << std::endl;        \
+                std::cout << "PASS" << std::endl;            \
             }                                                \
     }
 
@@ -40,13 +40,13 @@
     if (do_display_usage)                               \
         std::cout << #MODULE << "\n";                   \
     for (int i = 0; i < argc; i++)                      \
-    if (strcmp(argv[i], #MODULE) == 0) {            \
-            enable_trace(#MODULE);                      \
-        enable_debug(#MODULE);                      \
-        timeit timeit(true, s.c_str());             \
-        tst_##MODULE(argv, argc, i);                \
-            std::cout << "PASS" << std::endl;           \
-    }                                               \
+    if (strcmp(argv[i], #MODULE) == 0) {                \
+        enable_trace(#MODULE);                          \
+        enable_debug(#MODULE);                          \
+        timeit timeit(true, s.c_str());                 \
+        tst_##MODULE(argv, argc, i);                    \
+        std::cout << "PASS" << std::endl;               \
+    }                                                   \
 }
 
 void error(const char * msg) {
@@ -77,9 +77,9 @@ void display_usage() {
 void parse_cmd_line_args(int argc, char ** argv, bool& do_display_usage, bool& test_all) {
     int i = 1;
     while (i < argc) {
-	char * arg = argv[i];    
+        char * arg = argv[i];
         char * eq_pos = nullptr;
-        
+
         if (arg[0] == '-' || arg[0] == '/') {
             char * opt_name = arg + 1;
             char * opt_arg  = nullptr;
@@ -124,15 +124,15 @@ void parse_cmd_line_args(int argc, char ** argv, bool& do_display_usage, bool& t
         else if (arg[0] != '"' && (eq_pos = strchr(arg, '='))) {
             char * key   = arg;
             *eq_pos      = 0;
-            char * value = eq_pos+1; 
+            char * value = eq_pos+1;
             try {
                 gparams::set(key, value);
             }
             catch (z3_exception& ex) {
                 std::cerr << ex.msg() << "\n";
             }
-        }            
-    i++;
+        }
+        i++;
     }
 }