/* Kernel Object Display facility for Cisco
- Copyright 1999 Free Software Foundation, Inc.
+ Copyright 1999, 2000 Free Software Foundation, Inc.
Written by Tom Tromey <tromey@cygnus.com>.
/* Free memory. */
for (i = 0; i < sync_next; ++i)
- free (sync_ids[i]);
- free (sync_ids);
+ xfree (sync_ids[i]);
+ xfree (sync_ids);
}