diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-03-01 13:58:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-01 13:58:17 +0100 |
| commit | 47dec825c5daeeb9d615eb4d1eead3dbaa06c7c9 (patch) | |
| tree | 9d4426dfe847570906487649c32c5b320697705c /src/libmain/common-args.hh | |
| parent | 79152e307e7eef667c3de9c21571d017654a7c32 (diff) | |
| parent | dc92b01885c0c49d094148b1c4dc871ccdd265ad (diff) | |
Merge pull request #6181 from obsidiansystems/auto-uid-allocation
Auto uid allocation -- update with latest master
Diffstat (limited to 'src/libmain/common-args.hh')
| -rw-r--r-- | src/libmain/common-args.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libmain/common-args.hh b/src/libmain/common-args.hh index 31bdf527a..25453b8c6 100644 --- a/src/libmain/common-args.hh +++ b/src/libmain/common-args.hh @@ -11,8 +11,8 @@ class MixCommonArgs : public virtual Args { void initialFlagsProcessed() override; public: - string programName; - MixCommonArgs(const string & programName); + std::string programName; + MixCommonArgs(const std::string & programName); protected: virtual void pluginsInited() {} }; |