edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-23 20:22:34 +03:00
Code Issues Projects Releases Wiki Activity

Add import to fix build on macOS

Browse Source
This commit is contained in:
Christian Rasmussen 2020-03-09 22:45:43 +01:00
parent b0d640fa55
commit 645f0a809e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dist/rts/idris_rts.c vendored
View File

@ -1,5 +1,6 @@
#include <assert.h>
#include <errno.h>
#include <time.h>
#include "idris_rts.h"
#include "idris_gc.h"