diff options
Diffstat (limited to 'src/os_win32.c')
| -rw-r--r-- | src/os_win32.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/os_win32.c b/src/os_win32.c index 0607bd2ef..5eacce635 100644 --- a/src/os_win32.c +++ b/src/os_win32.c @@ -6187,10 +6187,10 @@ mch_remove(char_u *name) /* - * check for an "interrupt signal": CTRL-break or CTRL-C + * Check for an "interrupt signal": CTRL-break or CTRL-C. */ void -mch_breakcheck(void) +mch_breakcheck(int force) { #ifndef FEAT_GUI_W32 /* never used */ if (g_fCtrlCPressed || g_fCBrkPressed) |