X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/869c0cc91d8f6b2bb80026616372d16450b64d9f..5224670fe4e903bd507eabd486f8723353893bfa:/types.h

diff --git a/types.h b/types.h
index ce52a15..797ccf0 100644
--- 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:
 //