portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: remove duplicate headers

Browse source 
Remove the duplicate objecttype.h in include/object.h

Signed-off-by: Cao Jianlong <caojianlong@outlook.com>
This commit is contained in:
Cao Jianlong 2022-02-05 10:28:25 +08:00 committed by Gerwin Klein
parent 19f0fea91d
commit 324f833a0d
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/object.h
View file

@ -12,7 +12,6 @@
#include <object/cnode.h>
#include <object/endpoint.h>
#include <object/interrupt.h>
#include <object/objecttype.h>
#include <object/structures.h>
#include <object/tcb.h>
#include <object/untyped.h>