git.iko.soy/Idris-dev
on master help sign in
Add stdint.h header
9302ac5Edwin Brady
rts/idris_buffer.h+1
compare with master
unifiedsplit
@@ -3,6 +3,7 @@
3
3
4#include <stdlib.h>
4#include <stdlib.h>
5#include <stdio.h>
5#include <stdio.h>
6+#include <stdint.h>
6
7
7void* idris_newBuffer(int bytes);
8void* idris_newBuffer(int bytes);
8
9