diff options
Diffstat (limited to 'innobase/os/os0file.c')
| -rw-r--r-- | innobase/os/os0file.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/innobase/os/os0file.c b/innobase/os/os0file.c index 01fdf13b7d1..b3cb86a1178 100644 --- a/innobase/os/os0file.c +++ b/innobase/os/os0file.c @@ -167,7 +167,6 @@ os_file_handle_error( err = os_file_get_last_error(); if (err == OS_FILE_DISK_FULL) { -ask_again: fprintf(stderr, "\n"); if (name) { fprintf(stderr, |