Fix warning in io003 on clang
commit4c46b0eff311072b9c61cd0b7d6c5839ce1779c7
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 11 Aug 2014, 12:23 (12 years ago)
parent86bf04c
libs/base/System.idr+1
@@ -2,6 +2,7 @@ module System
22
33import Prelude
44
5+%include C "unistd.h"
56%default partial
67%access public
78