From 2012cbfe68390a30147d7a1ac2e7a02c2282e4b0 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Tue, 5 Mar 2024 08:33:10 +0000
Subject: [PATCH] crates/sel4-capdl-initializer: Fix bug

Typo

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/sel4-capdl-initializer/core/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/sel4-capdl-initializer/core/src/lib.rs b/crates/sel4-capdl-initializer/core/src/lib.rs
index dbd4ec27f..383e04f64 100644
--- a/crates/sel4-capdl-initializer/core/src/lib.rs
+++ b/crates/sel4-capdl-initializer/core/src/lib.rs
@@ -652,7 +652,7 @@ impl<'a, N: ObjectName, D: Content, M: GetEmbeddedFrame, B: BorrowMut<[PerObject
                             Some(cap) => self.orig_cap::<cap_type::SchedContext>(cap.object),
                         };
 
-                        let fault_ep = match obj.temp_fault_ep() {
+                        let fault_ep = match obj.fault_ep() {
                             None => init_thread::slot::NULL.cap().cast::<cap_type::Endpoint>(),
                             Some(cap) => {
                                 let orig = self.orig_cap::<cap_type::Endpoint>(cap.object);