-// safe assertions.
-
#ifndef verify_client_h
#define verify_client_h
#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