diff src/print.c @ 26237:94242d48aab1

(POP_FAILURE_POINT): Use failure_id.integer as arg to DEBUG_POP and DEBUG_PRINT.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 28 Oct 1999 21:16:22 +0000
parents b7aa6ac26872
children 759384838eae
line wrap: on
line diff