Merge branch 'master' of github.com:idris-lang/Idris-dev
commit297b3e21ade095bd3eaf5e708d31c4032f61ab97
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 15 Feb 2015, 21:47 (12 years ago)
parent0b6726ffe34d9f
rts/idris_rts.c−7
@@ -1,11 +1,4 @@
1−#include <stdlib.h>
2−#include <stdio.h>
3−#include <string.h>
4−#include <stdarg.h>
51#include <assert.h>
6−#ifdef HAS_PTHREAD
7−#include <pthread.h>
8−#endif
92
103#include "idris_rts.h"
114#include "idris_gc.h"