diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

support

Browse Source
This commit is contained in:
Vitor Santos Costa
2016-08-21 23:31:21 -05:00
parent 9e59f755ff
commit fe1a677778
5 changed files with 13 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
C/stdpreds.c
View File

@@ -1117,7 +1117,7 @@ void Yap_show_statistics(void) {
(Unsigned(TR) - Unsigned(LOCAL_TrailBase))));
fprintf(stderr, "Runtime: %lds.\n", (unsigned long int)(runtime(PASS_REGS1)));
fprintf(stderr, "Cputime: %lds.\n", (unsigned long int)(Yap_cputime()));
fprintf(stderr, "Walltime: %lu.\n", Yap_walltime() / 1000);
fprintf(stderr, "Walltime: "UInt_F".\n", (UInt)(Yap_walltime() / 1000));
}
static Int p_statistics_heap_max(USES_REGS1) {