This file is part of the GNU Readline Library (Readline), a library
for reading lines of text with interactive input and history editing.
This file is part of the GNU Readline Library (Readline), a library
for reading lines of text with interactive input and history editing.
/* Use this as the function to call when adding unwind protects so we
don't need to know what free() returns. */
void
/* Use this as the function to call when adding unwind protects so we
don't need to know what free() returns. */
void