From 1471d27d122cbb9bc6d0456dc04ea20b9c112adf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 19 Jun 2015 00:40:48 +0100 Subject: [PATCH] stderr stuff --- C/stdpreds.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/C/stdpreds.c b/C/stdpreds.c index ac5ed9ca0..1d6b089f8 100755 --- a/C/stdpreds.c +++ b/C/stdpreds.c @@ -1309,25 +1309,25 @@ void Yap_show_statistics(void) { #endif frag = (100.0 * (heap_space_taken - HeapUsed)) / heap_space_taken; - Sfprintf(GLOBAL_stderr, "Code Space: %ld (%ld bytes needed, %ld bytes used, " + fprintf(stderr, "Code Space: %ld (%ld bytes needed, %ld bytes used, " "fragmentation %.3f%%).\n", (unsigned long int)(Unsigned(H0) - Unsigned(Yap_HeapBase)), (unsigned long int)(Unsigned(HeapTop) - Unsigned(Yap_HeapBase)), (unsigned long int)(HeapUsed), frag); - Sfprintf(GLOBAL_stderr, "Stack Space: %ld (%ld for Global, %ld for local).\n", + fprintf(stderr, "Stack Space: %ld (%ld for Global, %ld for local).\n", (unsigned long int)(sizeof(CELL) * (LCL0 - H0)), (unsigned long int)(sizeof(CELL) * (HR - H0)), (unsigned long int)(sizeof(CELL) * (LCL0 - ASP))); - Sfprintf(GLOBAL_stderr, "Trail Space: %ld (%ld used).\n", + fprintf(stderr, "Trail Space: %ld (%ld used).\n", (unsigned long int)(sizeof(tr_fr_ptr) * (Unsigned(LOCAL_TrailTop) - Unsigned(LOCAL_TrailBase))), (unsigned long int)(sizeof(tr_fr_ptr) * (Unsigned(TR) - Unsigned(LOCAL_TrailBase)))); - Sfprintf(GLOBAL_stderr, "Runtime: %lds.\n", + fprintf(stderr, "Runtime: %lds.\n", (unsigned long int)(runtime(PASS_REGS1))); - Sfprintf(GLOBAL_stderr, "Cputime: %lds.\n", + fprintf(stderr, "Cputime: %lds.\n", (unsigned long int)(Yap_cputime())); - Sfprintf(GLOBAL_stderr, "Walltime: %lds.\n", + fprintf(stderr, "Walltime: %lds.\n", (unsigned long int)(Yap_walltime())); }