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"