# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 762120267 0
# Node ID f67817990735c882f792f68cf5e35de6c1411c33
# Parent  25c4f2fe81d173c822e61fe5f001c14b59f0ade6
(direct_output_for_insert): Fix comment.

diff -r 25c4f2fe81d1 -r f67817990735 src/dispnew.c
--- a/src/dispnew.c	Thu Feb 24 20:01:13 1994 +0000
+++ b/src/dispnew.c	Thu Feb 24 20:04:27 1994 +0000
@@ -880,7 +880,7 @@
 #ifdef USE_TEXT_PROPERTIES
   /* Intervals have already been adjusted, point is after the
      character that was just inserted. */
-  /* Give up if character has is invisible. */
+  /* Give up if character is invisible. */
   /* Give up if character has a face property.
      At the moment we only lose at end of line or end of buffer
      and only with faces that have some background */