diff options
| -rw-r--r-- | phpdbg_set.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/phpdbg_set.c b/phpdbg_set.c index be8624ef97..10c73aff00 100644 --- a/phpdbg_set.c +++ b/phpdbg_set.c @@ -127,11 +127,12 @@ PHPDBG_SET(colors) /* {{{ */ goto done; } } + + default: + phpdbg_error( + "set colors used incorrectly: set colors <on|off>"); } -usage: - phpdbg_error( - "set colors used incorrectly: set colors <on|off>"); done: return SUCCESS; |