git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/Idris-dev
297b3e2Edwin Brady
rts/idris_rts.c−7
compare with master
unifiedsplit
@@ -1,11 +1,4 @@
1−#include <stdlib.h>
2−#include <stdio.h>
3−#include <string.h>
4−#include <stdarg.h>
5#include <assert.h>
1#include <assert.h>
6−#ifdef HAS_PTHREAD
7−#include <pthread.h>
8−#endif
9
2
10#include "idris_rts.h"
3#include "idris_rts.h"
11#include "idris_gc.h"
4#include "idris_gc.h"