Skip to content

Commit

Permalink
Remove duplicate code
Browse files Browse the repository at this point in the history
  • Loading branch information
martin-strecker-sonarsource committed Mar 22, 2023
1 parent 623c18f commit 703c93e
Showing 1 changed file with 1 addition and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -43,10 +43,7 @@ public sealed record SymbolicValue
public IEnumerable<SymbolicConstraint> AllConstraints =>
Constraints.Values;

public SymbolicValue() : this(null)
{
hashCode = new(() => HashCode.DictionaryContentHash(Constraints), LazyThreadSafetyMode.ExecutionAndPublication);
}
public SymbolicValue() : this(null) { }

private SymbolicValue(SymbolicValue other)
{
Expand Down

0 comments on commit 703c93e

Please sign in to comment.