diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-20T14·11+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-20T14·11+0000 |
commit | 85effedca3e4cc3c10ccd835c9ea4fb712418cb9 (patch) | |
tree | 52e3ed6652abb945e6c87b045b0d4777ce4770ff /src/util.hh | |
parent | 5079ccb45537fe8de4b9579e274523734a3f634e (diff) |
* Flags to indicate how values are specified on the command line
(--hash, --file, --name).
Diffstat (limited to 'src/util.hh')
-rw-r--r-- | src/util.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util.hh b/src/util.hh index 5b41fcea895b..45719e701ff6 100644 --- a/src/util.hh +++ b/src/util.hh @@ -2,7 +2,7 @@ #define __UTIL_H #include <string> -#include <vector> +#include <list> #include <sstream> #include <unistd.h> @@ -34,7 +34,7 @@ public: }; -typedef vector<string> Strings; +typedef list<string> Strings; /* The canonical system name, as returned by config.guess. */ |