diff src/intervals.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 365b6c7f12d3
children c3c9cc1c2379
line wrap: on
line diff