diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2016-11-26 00:37:43 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2016-11-26 00:38:01 +0100 |
commit | 215b70f51e5abd350c9b7db656aedac9d96d0046 (patch) | |
tree | 95778448ecdfbc1d8f4c254813cc5d91ed62a832 /src/libutil/args.hh | |
parent | f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7 (diff) |
Revert "Get rid of unicode quotes (#1140)"
This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There
really is no need for such a massive change...
Diffstat (limited to 'src/libutil/args.hh')
-rw-r--r-- | src/libutil/args.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libutil/args.hh b/src/libutil/args.hh index aa0f45a65..ac12f8be6 100644 --- a/src/libutil/args.hh +++ b/src/libutil/args.hh @@ -126,7 +126,7 @@ public: mkFlag(shortName, longName, {"N"}, description, 1, [=](Strings ss) { I n; if (!string2Int(ss.front(), n)) - throw UsageError(format("flag '--%1%' requires a integer argument") % longName); + throw UsageError(format("flag ‘--%1%’ requires a integer argument") % longName); fun(n); }); } |