1 2 3 4 5 6 7 8 9 10 11 12 13 14
--- ./src/TypeManager/TypeManager.h.orig Mon Jul 21 16:37:26 2003 +++ ./src/TypeManager/TypeManager.h Mon Jul 21 16:38:08 2003 @@ -10,7 +10,10 @@ #include <map> #include <list> - +using std::string; +using std::vector; +using std::map; +using std::list;