diff options
| author | red031000 <rubenru09@aol.com> | 2020-06-13 20:12:27 +0100 |
|---|---|---|
| committer | red031000 <rubenru09@aol.com> | 2020-06-13 20:13:43 +0100 |
| commit | 91db1083cc248734e934ff9e1c93a27c2b448250 (patch) | |
| tree | f4510ab7a789e096d6cd08a80e9851b92fd663f9 /arm7/lib/include/OS_init.h | |
| parent | ae95019da3c7da624674794b8e2d503e063b82e6 (diff) | |
arm7 OS_terminate_proc
Diffstat (limited to 'arm7/lib/include/OS_init.h')
| -rw-r--r-- | arm7/lib/include/OS_init.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arm7/lib/include/OS_init.h b/arm7/lib/include/OS_init.h index c90740c2..c4e1ca37 100644 --- a/arm7/lib/include/OS_init.h +++ b/arm7/lib/include/OS_init.h @@ -6,6 +6,7 @@ #include "OS_arena.h" #include "OS_alloc.h" #include "OS_reset.h" +#include "OS_terminate_proc.h" void OS_Init(void); |