More clean-ups

[invirt/third/libt4.git] / types.h

diff --git a/types.h b/types.h
index ce52a15..797ccf0 100644 (file)
--- a/types.h
+++ b/types.h
@@ -106,7 +106,8 @@ operator<<(std::ostream & o, const A & a) {
     return o << "[" << implode(a, ", ") << "]";
 }
 
-#include "verify.h"
+#include <cstdlib>
+#define VERIFY(expr) { if (!(expr)) abort(); }
 
 // struct tuple adapter, useful for marshalling and endian swapping.  usage:
 //