bad_alloc.cc
changeset 28 54addf5893ef
parent 13 2640a7fd96ca
child 29 7abf6146898e
--- a/bad_alloc.cc
+++ b/bad_alloc.cc
@@ -8,6 +8,7 @@
 #include <exception>
 #include <sys/time.h>
 #include <sys/resource.h>
+#include <cstdlib>
 
 using namespace std;