Merge pull request #1911 from Heather/why
clean includes from c file
commitfe34d9f7c6b04c891c8c1f0376c62b69b9960074
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 15 Feb 2015, 21:45 (12 years ago)
parent0fdbc0b1510155
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"