From 07b4ff48f8de149e48e905f32581268e7a3a33b5 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 27 Sep 2005 05:36:54 +0000
Subject: [PATCH] * verify.h (verify_expr): Remove, replacing with:
 (verify_true): New macro.

---
 lib/ChangeLog | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 4d22d834c9..4bdeb613c4 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,10 @@
+2005-09-26  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* verify.h (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__.
+
 2005-09-24  Paul Eggert  <eggert@cs.ucla.edu>
 
 	* utimens.c (ENOSYS): Define if not already defined.
-- 
2.30.2