fix tabbing comment issue

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 9375ac0d80e0a86aa72014d75972b712704372b2..dd0722b9b4416ee0d5fbd6712cd764c6f2eedc88 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -92,7 +92,7 @@ static void parse_options(struct model_params *params, int argc, char **argv)
                {"analysis", required_argument, NULL, 't'},
                {"options", required_argument, NULL, 'o'},
                {"maxexecutions", required_argument, NULL, 'x'},
-               {0, 0, 0, 0}                                            /* Terminator */
+               {0, 0, 0, 0}    /* Terminator */
        };
        int opt, longindex;
        bool error = false;
@@ -121,7 +121,7 @@ static void parse_options(struct model_params *params, int argc, char **argv)
                                error = true;
                }
                break;
-               default:                                                /* '?' */
+               default:        /* '?' */
                        error = true;
                        break;
                }