diff src/prefix-args.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 fa9ff387d260
children 0c4cb98fb3f4
line wrap: on
line diff