ctype.h crawled out of the bit bucket :) Signed-off-by: Ingo Molnar <mingo@elte.hu>
@@ -15,7 +15,6 @@
#include <fcntl.h>
#include <stdio.h>
#include <errno.h>
-#include <ctype.h>
#include <time.h>
#include <sched.h>
#include <pthread.h>