X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/2546a41ad36fdc9ef6471cb35a1d56930ae1b527..5a5c578e2e358a121cdb9234a6cb11c4ecfbf323:/lang/verify.h

diff --git a/lang/verify.h b/lang/verify.h
index 2b092d2..823a48d 100644
--- a/lang/verify.h
+++ b/lang/verify.h
@@ -3,8 +3,8 @@
 #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)