tool/CommandStates.cpp
branchstable-1.4
changeset 1636 b26170e168d9
parent 1157 04d1c950cf9d
child 1337 0253c74d0940
--- a/tool/CommandStates.cpp	Wed Sep 24 08:52:21 2008 +0000
+++ b/tool/CommandStates.cpp	Wed Sep 24 10:30:30 2008 +0000
@@ -5,6 +5,7 @@
  ****************************************************************************/
 
 #include <iostream>
+#include <algorithm>
 using namespace std;
 
 #include "CommandStates.h"