# HG changeset patch
# User Dan Nicolaescu <dann@ics.uci.edu>
# Date 1188287321 0
# Node ID eee88b98a5c231b0312a1cd143b4908456a3cfa4
# Parent  49e25dcf3117457f7117ae06b8a67a58be4c255e
Undo undocumented change.

diff -r 49e25dcf3117 -r eee88b98a5c2 src/intervals.h
--- a/src/intervals.h	Tue Aug 28 07:44:51 2007 +0000
+++ b/src/intervals.h	Tue Aug 28 07:48:41 2007 +0000
@@ -88,7 +88,7 @@
 
 #ifdef ENABLE_CHECKING
 #define NULL_INTERVAL_P(i) \
-  ((void)CHECK (!INT_LISPLIKE (i), "non-interval"), (i) == NULL_INTERVAL)
+   (CHECK (!INT_LISPLIKE (i), "non-interval"), (i) == NULL_INTERVAL)
 /* old #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL || INT_LISPLIKE (i)) */
 #else
 #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL)