ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Fix compilation error on floating point constants

Browse Source
This commit is contained in:
Edwin Brady 2013-03-18 23:43:44 +01:00
parent 17fb34a6f8
commit f8db87355b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
rts/idris_stats.c
View File

@ -20,8 +20,8 @@ void print_stats(const Stats * stats) {
alloc_rate = (int)((double)(stats->allocations) / mut_sec);
}
double gc_percent = 0.0d;
double productivity = 0.0d;
double gc_percent = 0.0;
double productivity = 0.0;
if (total > 0) {
gc_percent = 100 * (double)stats->gc_time / (double)total;
productivity = 100 * ((double)mut / (double)total);