* verify.h (verify_expr): Remove, replacing with:
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 27 Sep 2005 05:36:54 +0000 (05:36 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 27 Sep 2005 05:36:54 +0000 (05:36 +0000)
commit07b4ff48f8de149e48e905f32581268e7a3a33b5
treeda95f1e1df12cc114f5496996b49a2c96f0624d4
parentfeebaa695b50ce7dda9124462c7bf22bf77927d3
* verify.h (verify_expr): Remove, replacing with:
(verify_true): New macro.
lib/ChangeLog