diff options
| -rw-r--r-- | src/undo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/undo.c b/src/undo.c index 2f37bae8477..efa19107419 100644 --- a/src/undo.c +++ b/src/undo.c | |||
| @@ -397,7 +397,7 @@ Return what remains of the list.") | |||
| 397 | (not matching the actual disk file) | 397 | (not matching the actual disk file) |
| 398 | then don't mark unmodified. */ | 398 | then don't mark unmodified. */ |
| 399 | if (mod_time != base_buffer->modtime) | 399 | if (mod_time != base_buffer->modtime) |
| 400 | break; | 400 | continue; |
| 401 | #ifdef CLASH_DETECTION | 401 | #ifdef CLASH_DETECTION |
| 402 | Funlock_buffer (); | 402 | Funlock_buffer (); |
| 403 | #endif /* CLASH_DETECTION */ | 403 | #endif /* CLASH_DETECTION */ |