# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 789038287 0
# Node ID fe2243b3186b755d2bcf3a1d3aa9bc6c0c56a26e
# Parent  90784ed0416f63e31bfe575b1617768c29d48e89
Use SAVE_MODIFF and BUF_SAVE_MODIFF
instead of direct access to the save_modiff field.

diff -r 90784ed0416f -r fe2243b3186b src/keyboard.c
--- a/src/keyboard.c	Mon Jan 02 09:16:42 1995 +0000
+++ b/src/keyboard.c	Mon Jan 02 09:18:07 1995 +0000
@@ -1197,7 +1197,7 @@
 			   < MODIFF)
 			  || (XFASTINT (XWINDOW (selected_window)->last_point)
 			      != PT)
-			  || MODIFF <= current_buffer->save_modified
+			  || MODIFF <= SAVE_MODIFF
 			  || windows_or_buffers_changed
 			  || !EQ (current_buffer->selective_display, Qnil)
 			  || detect_input_pending ()