Remove unused header files in the C RTS
commit159a7d473ed4d3f67973dd5912481e516cc261dd
authorJonas Claeson <jonas.cl@protonmail.com>
dateTue 21 Jan 2020, 08:56 (7 years ago)
parent33be12c
rts/idris_bitstring.c−2
@@ -1,5 +1,3 @@
1−#include <assert.h>
2−
31#include "idris_rts.h"
42
53VAL idris_b8const(VM *vm, uint8_t a) {
rts/idris_utf8.c−1
@@ -1,5 +1,4 @@
11#include "idris_utf8.h"
2−#include <stdio.h>
32#include <string.h>
43#include <stdlib.h>
54