github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-04-20 03:00:12 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fixed clippy suggestion

Browse Source
This commit is contained in:
Fredrik Dahlgren
2022-09-13 10:25:51 +02:00
parent 48086a3e01
commit 505a5380d0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
program_structure/src/intermediate_representation/expression_impl.rs
View File

@@ -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