diff options
Diffstat (limited to 'pk/frontend.c')
| -rw-r--r-- | pk/frontend.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pk/frontend.c b/pk/frontend.c index 716f050..e58df26 100644 --- a/pk/frontend.c +++ b/pk/frontend.c @@ -3,7 +3,6 @@ #include "pk.h" #include "atomic.h" #include "frontend.h" -#include "sbi.h" #include "syscall.h" #include "htif.h" #include <stdint.h> |