diff options
author | Teddy <ted.sybil@gmail.com> | 2014-05-07 01:22:07 +0800 |
---|---|---|
committer | Teddy <ted.sybil@gmail.com> | 2014-05-07 01:22:07 +0800 |
commit | deb60a413d2b053647b5de2eb5d2bc7f13f4e210 (patch) | |
tree | a09216c726f99d948be8e67c9c3fdab551591e43 /main.c | |
parent | 4433fe07cfccc547bccb8b34c080c1bc034758a7 (diff) |
...
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |