More dependency check-ups

[invirt/third/libt4.git] / lang / verify.h

diff --git a/lang/verify.h b/lang/verify.h
index 823a48d..622aaf2 100644 (file)
--- a/lang/verify.h
+++ b/lang/verify.h
@@ -1,5 +1,3 @@
-// safe assertions.
-

 #ifndef verify_client_h
 #define verify_client_h
 
 #ifndef verify_client_h
 #define verify_client_h
 

@@ -7,7 +5,7 @@
 #include <cassert>
 
 #ifdef NDEBUG
 #include <cassert>
 
 #ifdef NDEBUG

-#define VERIFY(expr) do { if (!(expr)) abort(); } while (0)
+#define VERIFY(expr) { if (!(expr)) abort(); }

 #else
 #define VERIFY(expr) assert(expr)
 #endif
 #else
 #define VERIFY(expr) assert(expr)
 #endif