--- Statistic.cpp	27 Oct 2002 14:04:37 -0000	1.1
+++ Statistic.cpp	27 Oct 2002 15:44:44 -0000
@@ -16,6 +16,7 @@
 
 #include "Support/Statistic.h"
 #include "Support/CommandLine.h"
+#include <algorithm>
 #include <iostream>
 #include <sstream>
 
