Remove include file related to SSE data
commit6e7adb87ac9bf063a64b1b98178435c697fd0362
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
dateTue 5 May 2015, 00:36 (11 years ago)
parent0aa5d53
rts/idris_rts.h−2
@@ -10,8 +10,6 @@
1010#endif
1111#include <stdint.h>
1212
13−#include <emmintrin.h>
14−
1513#include "idris_heap.h"
1614#include "idris_stats.h"
1715