crates/sel4-capdl-initializer: fix compile error

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Mar 6, 2024 · c97687b · c97687b
1 parent 2f5fe67
commit c97687b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/sel4-capdl-initializer/core/src/lib.rs b/crates/sel4-capdl-initializer/core/src/lib.rs
@@ -657,7 +657,7 @@ impl<'a, N: ObjectName, D: Content, M: GetEmbeddedFrame, B: BorrowMut<[PerObject
                             Some(cap) => {
                                 let orig = self.orig_cap::<cap_type::Endpoint>(cap.object);
                                 let badge = cap.badge;
-                                let rights = cap.rights.into();
+                                let rights = (&cap.rights).into();
                                 if badge == 0 && rights == CapRights::all() {
                                     orig
                                 } else {