tool/CommandStates.cpp
changeset 1222 7348d6abb6cb
parent 1157 04d1c950cf9d
child 1337 0253c74d0940
--- a/tool/CommandStates.cpp	Wed Sep 24 08:51:46 2008 +0000
+++ b/tool/CommandStates.cpp	Wed Sep 24 10:28:59 2008 +0000
@@ -5,6 +5,7 @@
  ****************************************************************************/
 
 #include <iostream>
+#include <algorithm>
 using namespace std;
 
 #include "CommandStates.h"