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/nix-env/user-env.cc | |
| 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/nix-env/user-env.cc')
| -rw-r--r-- | src/nix-env/user-env.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix-env/user-env.cc b/src/nix-env/user-env.cc index b37d8ba9b..e9997fae5 100644 --- a/src/nix-env/user-env.cc +++ b/src/nix-env/user-env.cc @@ -139,7 +139,7 @@ bool createUserEnv(EvalState & state, DrvInfos & elems, Path lockTokenCur = optimisticLockProfile(profile); if (lockToken != lockTokenCur) { - printError(format("profile '%1%' changed while we were busy; restarting") % profile); + printError(format("profile ‘%1%’ changed while we were busy; restarting") % profile); return false; } |