From 029bf6e4008581b315dc42d7b44fff503de9058e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?U-WIN-ENP104VVO3U=5CV=C3=ADtor=20Santos=20Costa?= Date: Mon, 6 Jun 2011 12:27:45 +0100 Subject: [PATCH] improve error message. --- library/dialect/swi/fli/swi.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index d0268df46..e429764fe 100755 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -1176,7 +1176,7 @@ X_API int PL_unify_int64(term_t t, int64_t n) iterm = YAP_MkBigNumTerm((void *)&rop); return YAP_Unify(Yap_GetFromSlot(t PASS_REGS),iterm); #else - fprintf(stderr,"Error: please install GM\n"); + fprintf(stderr,"Error in PL_unify_int64: please install GMP\n"); return FALSE; #endif