michael@16: Index: src/brutalplayer.cpp
michael@16: --- src/brutalplayer.cpp.orig	2011-05-27 00:21:49.090535015 +0200
michael@16: +++ src/brutalplayer.cpp	2011-05-27 00:22:16.281535003 +0200
michael@16: @@ -11,6 +11,7 @@
michael@16:  #include "options.h"
michael@16:  
michael@16:  #include <vector>
michael@16: +#include <climits>
michael@16:  #include <time.h>
michael@16:  
michael@16:  using namespace std;