tool/main.cpp
changeset 1222 7348d6abb6cb
parent 1200 ce1a65f06efc
child 1335 09c6fce1ae45
--- a/tool/main.cpp	Wed Sep 24 08:51:46 2008 +0000
+++ b/tool/main.cpp	Wed Sep 24 10:28:59 2008 +0000
@@ -6,6 +6,7 @@
 
 #include <getopt.h>
 #include <libgen.h> // basename()
+#include <stdlib.h>
 
 #include <iostream>
 #include <iomanip>