diff --git a/labs/lab4-tasks_syscalls/skeleton_with_labs1-3/yoctos/kernel/mem/paging_alloc.c b/labs/lab4-tasks_syscalls/skeleton_with_labs1-3/yoctos/kernel/mem/paging_alloc.c
index b404e7e64c781fcf0096d921c8d1964f70cd1b9d..019321251be6ded211698a1931b899f6cf16e1a3 100644
--- a/labs/lab4-tasks_syscalls/skeleton_with_labs1-3/yoctos/kernel/mem/paging_alloc.c
+++ b/labs/lab4-tasks_syscalls/skeleton_with_labs1-3/yoctos/kernel/mem/paging_alloc.c
@@ -1,4 +1,5 @@
 #include "paging.h"
+#include "frame.h"
 #include "x86.h"
 
 // Allocates size bytes of physical memory (as frames, so not necessarily contiguous), then maps these