36,37d35
< #include <map>
< #include <vector>
65d62
< typedef std::map<string, Flag *> FlagsMap;