Skip to content

Commit

Permalink
Fixed clippy suggestion
Browse files Browse the repository at this point in the history
  • Loading branch information
fegge committed Sep 13, 2022
1 parent 48086a3 commit 505a538
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -230,7 +230,7 @@ impl DegreeMeta for Expression {
if env.degree(var).is_none() {
// This is the first assignment to the array. The degree is given by the RHS.
if let Some(range) = rhe.degree() {
result = result || meta.degree_knowledge_mut().set_degree(&range);
result = result || meta.degree_knowledge_mut().set_degree(range);
}
} else {
// The array has been assigned to previously. The degree is the infimum of
Expand Down

0 comments on commit 505a538

Please sign in to comment.