diff options
author | Teddy <[email protected]> | 2014-05-07 01:22:07 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2014-05-07 01:22:07 +0800 |
commit | deb60a413d2b053647b5de2eb5d2bc7f13f4e210 (patch) | |
tree | a09216c726f99d948be8e67c9c3fdab551591e43 | |
parent | 4433fe07cfccc547bccb8b34c080c1bc034758a7 (diff) |
...
-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) |