clean includes from c file
commit15101555d36e356510362a80c68b2f6ccdf6bb0e
authorHeather <heather@live.ru>
dateThu 12 Feb 2015, 10:43 (12 years ago)
parentcdfaa9f
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"