changeset 16520:d18129921259

(PRINTFINISH): Use xfree, not free.
author Richard M. Stallman <rms@gnu.org>
date Tue, 05 Nov 1996 19:48:26 +0000
parents b96e56680038
children fe9cc0d392dd
files src/print.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);			\