Commit feebaa695b50ce7dda9124462c7bf22bf77927d3

Paul Eggert 2005-09-27T05:36:30

(verify_expr): Remove, replacing with: (verify_true): New macro that returns true instead of void. (verify_type__): Remove. (verify): Use verify_true rather than verify_type__.