Merge pull request #2414 from Heather/winc
fix building for windows/idris_stdfgn.c
commitd8b009bd1b862c9bdff5df4818ef94f8d2e399fd
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 3 Jul 2015, 17:22 (11 years ago)
parent83b839f45420ab
rts/windows/idris_stdfgn.c+2−2
@@ -72,9 +72,9 @@ char* getEnvPair(int i) {
7272 return *(environ + i);
7373}
7474
75−int idris_time() {
75+VAL idris_time() {
7676 time_t t = time(NULL);
77− return (int)t;
77+ return MKBIGI(t);
7878}
7979
8080void idris_forceGC(void* vm) {