arity may be a long int

This commit is contained in:
Vitor Santos Costa 2009-03-27 15:28:32 +00:00
parent 4b5c07192a
commit 67eddb5a5b

View File

@ -54,7 +54,7 @@ send_tracer_message(char *start, char *name, Int arity, char *mname, CELL *args)
if (args)
fprintf(Yap_stderr, "%s %s:%s(", start, mname, name);
else
fprintf(Yap_stderr, "%s %s:%s/%d", start, mname, name, arity);
fprintf(Yap_stderr, "%s %s:%s/%ul", start, mname, name, (unsigned long int)arity);
} else {
fprintf(Yap_stderr, "%s %s:%s", start, mname, name);
}