Fix clippy error

viperproject · Jan 6, 2023 · 85db2fb · 85db2fb
1 parent 35f6f7f
commit 85db2fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vir/src/legacy/ast/predicate.rs b/vir/src/legacy/ast/predicate.rs
@@ -117,7 +117,7 @@ impl Predicate {
             Predicate::Struct(p) => &p.name,
             Predicate::Enum(p) => &p.name,
             Predicate::Bodyless(ref name, _) => name,
-            Predicate::ResourceAccess(typ) => &typ,
+            Predicate::ResourceAccess(typ) => typ,
         }
     }
     pub fn body(&self) -> Option<Expr> {