Merge pull request #1466 from edwinb/master
Fix warning in io003 on clang
commit2092eed4c50b3252f8a5fa9c609a7442d33288a7
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 11 Aug 2014, 12:28 (12 years ago)
parent86bf04c4c46b0e
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