diff --git a/lib/isc/include/isc/util.h b/lib/isc/include/isc/util.h
index 9d92cc5e8e..60cb20f283 100644
--- a/lib/isc/include/isc/util.h
+++ b/lib/isc/include/isc/util.h
@@ -15,7 +15,7 @@
  * WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
 
-/* $Id: util.h,v 1.18 2000/08/26 01:23:17 bwelling Exp $ */
+/* $Id: util.h,v 1.19 2000/08/28 19:49:38 bwelling Exp $ */
 
 #ifndef ISC_UTIL_H
 #define ISC_UTIL_H 1
@@ -94,9 +94,8 @@
 			       (lp), __FILE__, __LINE__)); \
 	} while (0)
 #define ISLOCKED(lp) (1)
-#define DESTROYLOCK(lp) do { \
-	RUNTIME_CHECK(isc_mutex_destroy((lp)) == ISC_R_SUCCESS); \
-	} while (0);
+#define DESTROYLOCK(lp) \
+	RUNTIME_CHECK(isc_mutex_destroy((lp)) == ISC_R_SUCCESS)
 
 
 #define BROADCAST(cvp) do { \