git.iko.soy/Idris-dev
on master help sign in
Remove unused header files in the C RTS
159a7d4Jonas Claeson
rts/idris_bitstring.c−2
compare with master
unifiedsplit
@@ -1,5 +1,3 @@
1−#include <assert.h>
2−
3#include "idris_rts.h"
1#include "idris_rts.h"
4
2
5VAL idris_b8const(VM *vm, uint8_t a) {
3VAL idris_b8const(VM *vm, uint8_t a) {
rts/idris_utf8.c−1
@@ -1,5 +1,4 @@
1#include "idris_utf8.h"
1#include "idris_utf8.h"
2−#include <stdio.h>
3#include <string.h>
2#include <string.h>
4#include <stdlib.h>
3#include <stdlib.h>
5
4