X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..8b9d106fcc61fc84712c97d4db060d8302cc63fd:/lang/verify.h?ds=sidebyside

diff --git a/lang/verify.h b/lang/verify.h
index 2b092d2..622aaf2 100644
--- a/lang/verify.h
+++ b/lang/verify.h
@@ -1,13 +1,11 @@
-// safe assertions.
-
 #ifndef verify_client_h
 #define verify_client_h
 
-#include <stdlib.h>
-#include <assert.h>
+#include <cstdlib>
+#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