diff options
Diffstat (limited to 'crawl-ref/source/main.cc')
-rw-r--r-- | crawl-ref/source/main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/main.cc b/crawl-ref/source/main.cc index 3d9e0694b2..7d74fef068 100644 --- a/crawl-ref/source/main.cc +++ b/crawl-ref/source/main.cc @@ -853,6 +853,7 @@ static bool _cmd_is_repeatable(command_type cmd, bool is_again = false) return (true); case CMD_NO_CMD: + case CMD_NO_CMD_DEFAULT: mpr("Unknown command, not repeating."); return (false); |