From c1ca2149324a754b8cbd511cd8294a0a3439e721 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 5 Nov 2015 19:26:22 +0000 Subject: [PATCH] Actually use GMP --- include/SWI-Prolog.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/include/SWI-Prolog.h b/include/SWI-Prolog.h index 69dc8b14f..60b0d13ae 100755 --- a/include/SWI-Prolog.h +++ b/include/SWI-Prolog.h @@ -794,12 +794,14 @@ PL_EXPORT(void*) PL_blob_data(atom_t a, PL_EXPORT(void) PL_register_blob_type(PL_blob_t *type); PL_EXPORT(PL_blob_t*) PL_find_blob_type(const char* name); PL_EXPORT(PL_blob_t*) YAP_find_blob_type(YAP_Atom at); -PL_EXPORT(int) PL_unregister_blob_type(PL_blob_t *type); +PL_EXPORT(int) PL_unr1egister_blob_type(PL_blob_t *type); PL_EXPORT(int) PL_raise(int sig); #endif #if USE_GMP +#include + PL_EXPORT(int) PL_get_mpz(term_t t, mpz_t mpz); PL_EXPORT(int) PL_unify_mpz(term_t t, mpz_t mpz); PL_EXPORT(int) PL_get_mpq(term_t t, mpq_t mpz);