# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 847223306 0
# Node ID d1812992125938fd126ca48e3b8fd6dfea27d4cd
# Parent  b96e566800382b05eae996dda1749390989a8a0b
(PRINTFINISH): Use xfree, not free.

diff -r b96e56680038 -r d18129921259 src/print.c
--- a/src/print.c	Tue Nov 05 18:42:30 1996 +0000
+++ b/src/print.c	Tue Nov 05 19:48:26 1996 +0000
@@ -214,7 +214,7 @@
      insert (print_buffer, print_buffer_pos);		\
    if (free_print_buffer)				\
      {							\
-       free (print_buffer);				\
+       xfree (print_buffer);				\
        print_buffer = 0;				\
      }							\
    unbind_to (specpdl_count, Qnil);			\