# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 798848991 0
# Node ID b481316dd562d23d0fa5d96f54a232e7ceae815e
# Parent  ba3fe06d55eb5862f6c19bbdea011e58ebb40e87
(gud-sentinel): Use force-mode-line-update.

diff -r ba3fe06d55eb -r b481316dd562 lisp/gud.el
--- a/lisp/gud.el	Tue Apr 25 22:29:35 1995 +0000
+++ b/lisp/gud.el	Tue Apr 25 22:29:51 1995 +0000
@@ -1217,8 +1217,7 @@
 	       (progn
 		 ;; Write something in *compilation* and hack its mode line,
 		 (set-buffer (process-buffer proc))
-		 ;; Force mode line redisplay soon
-		 (set-buffer-modified-p (buffer-modified-p))
+		 (force-mode-line-update)
 		 (if (eobp)
 		     (insert ?\n mode-name " " msg)
 		   (save-excursion