Commit 0c82451f5cb4c918074dc31cb4e6b28f076c5f67

Gerd Moellmann 1999-10-28T21:16:22

(POP_FAILURE_POINT): Use failure_id.integer as arg to DEBUG_POP and DEBUG_PRINT.