git.iko.soy/Idris-dev
on master help sign in
Remove include file related to SSE data
6e7adb8Markus Pfeiffer
rts/idris_rts.h−2
compare with master
unifiedsplit
@@ -10,8 +10,6 @@
10#endif
10#endif
11#include <stdint.h>
11#include <stdint.h>
12
12
13−#include <emmintrin.h>
14−
15#include "idris_heap.h"
13#include "idris_heap.h"
16#include "idris_stats.h"
14#include "idris_stats.h"
17
15