aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTeddy <[email protected]>2014-05-07 01:22:07 +0800
committerTeddy <[email protected]>2014-05-07 01:22:07 +0800
commitdeb60a413d2b053647b5de2eb5d2bc7f13f4e210 (patch)
treea09216c726f99d948be8e67c9c3fdab551591e43
parent4433fe07cfccc547bccb8b34c080c1bc034758a7 (diff)
...
-rw-r--r--main.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/main.c b/main.c
index faebe46..5f224fe 100644
--- a/main.c
+++ b/main.c
@@ -124,6 +124,7 @@ int main(int argc, char **argv) {
case 's': mode = PRINT_SSA; break;
case 'm': mode = PRINT_SEM; break;
case 'h': print_help(); return 0;
+ default: print_help(); return 0;
}
}
if (optind == argc - 1)