mirror of
https://github.com/seL4/seL4.git
synced 2026-04-04 22:39:54 +00:00
trivial: add missing config.h include
This commit is contained in:
@@ -6,6 +6,7 @@
|
||||
|
||||
#pragma once
|
||||
|
||||
#include <config.h>
|
||||
#include <types.h>
|
||||
#include <api/failures.h>
|
||||
#include <object/structures.h>
|
||||
|
||||
Reference in New Issue
Block a user