More clean-ups

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

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