From c12ed10d8ec4f7a1c179d18c4d702322d744665c Mon Sep 17 00:00:00 2001
From: Maximilian Leo Huber <maximilian.huber@uni-bielefeld.de>
Date: Tue, 17 Sep 2024 08:24:13 +0000
Subject: [PATCH] attempting to fix getPathMapping.ts fix

---
 src/utils/getPathMapping.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utils/getPathMapping.ts b/src/utils/getPathMapping.ts
index 4c5d3fee..7800822a 100644
--- a/src/utils/getPathMapping.ts
+++ b/src/utils/getPathMapping.ts
@@ -25,8 +25,8 @@ export const getPathMapping = () => {
             name: page.name,
             title: page.title,
             component: page.component,
-            header: page.header,
-            navlist: page.navlist, 
+            header: page.header!,
+            navlist: page.navlist!, 
           };
         }
       });
-- 
GitLab