From 76e521f3ff1e37caf4598a9378f341a7a2c83b54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Mon, 5 Jan 2009 14:32:21 +0000 Subject: [PATCH] fix bad call of float/GMP routines. --- H/eval.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/H/eval.h b/H/eval.h index 95b8f8477..434809761 100644 --- a/H/eval.h +++ b/H/eval.h @@ -208,8 +208,8 @@ Term STD_PROTO(Yap_gmp_ior_big_big,(MP_INT *, MP_INT *)); -Float STD_PROTO(Yap_gmp_add_float_big,(Float, MP_INT *)); -Float STD_PROTO(Yap_gmp_sub_float_big,(Float, MP_INT *)); -Float STD_PROTO(Yap_gmp_sub_big_float,(MP_INT *, Float)); -Float STD_PROTO(Yap_gmp_mul_float_big,(Float, MP_INT *)); +Term STD_PROTO(Yap_gmp_add_float_big,(Float, MP_INT *)); +Term STD_PROTO(Yap_gmp_sub_float_big,(Float, MP_INT *)); +Term STD_PROTO(Yap_gmp_sub_big_float,(MP_INT *, Float)); +Term STD_PROTO(Yap_gmp_mul_float_big,(Float, MP_INT *)); #endif