From 505a5380d026cdaf3cd84502cb11e2acd09fdff6 Mon Sep 17 00:00:00 2001 From: Fredrik Dahlgren Date: Tue, 13 Sep 2022 10:25:51 +0200 Subject: [PATCH] Fixed clippy suggestion --- .../src/intermediate_representation/expression_impl.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/program_structure/src/intermediate_representation/expression_impl.rs b/program_structure/src/intermediate_representation/expression_impl.rs index b1f76b6..fa7ba62 100644 --- a/program_structure/src/intermediate_representation/expression_impl.rs +++ b/program_structure/src/intermediate_representation/expression_impl.rs @@ -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