diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-03 14:35:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-03 14:35:16 +0100 |
commit | 391f4fcabe6c307afeb2f39dec07d43f1e6bf748 (patch) | |
tree | bc084ed79faf15a58d926318dfe1df58db7d5ae7 /src/nix/repl.cc | |
parent | 609779086301a600f4282a629d586bba6b6a485c (diff) | |
parent | e9c04c3351b4b3acae2d154b9aba808c3600054f (diff) |
Merge pull request #6201 from edolstra/print-value
printValue(): Don't show repeated values
Diffstat (limited to 'src/nix/repl.cc')
-rw-r--r-- | src/nix/repl.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix/repl.cc b/src/nix/repl.cc index 5c0d44c68..3a51a13e6 100644 --- a/src/nix/repl.cc +++ b/src/nix/repl.cc @@ -800,7 +800,7 @@ std::ostream & NixRepl::printValue(std::ostream & str, Value & v, unsigned int m else printStringValue(str, i.first.c_str()); str << " = "; - if (seen.find(i.second) != seen.end()) + if (seen.count(i.second)) str << "«repeated»"; else try { |