--- Timer.cpp	27 Oct 2002 14:04:37 -0000	1.1
+++ Timer.cpp	27 Oct 2002 15:44:44 -0000
@@ -12,6 +12,7 @@
 #include <stdio.h>
 #include <iostream>
 #include <algorithm>
+#include <functional>
 
 static TimerGroup *DefaultTimerGroup = 0;
 static TimerGroup *getDefaultTimerGroup() {
