Merge pull request #661 from markuspf/bits-const-fix
Make sure mpz_t is defined
commit1c19fcc25fae27d86b225db3cd5141001d9ab85f
authorEdwin Brady <edwin.brady@gmail.com>
dateFri 22 Nov 2013, 10:08 (13 years ago)
parentddac624556d9fb
rts/idris_gmp.h+2
@@ -1,6 +1,8 @@
11#ifndef _IDRISGMP_H
22#define _IDRISGMP_H
33
4+#include <gmp.h>
5+
46VAL MKBIGI(int val);
57VAL MKBIGC(VM* vm, char* bigint);
68VAL MKBIGM(VM* vm, void* bigint);