diff src/.gdbinit @ 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 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff