1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
--- ./weibull.c.orig 2008-07-29 20:06:24.000000000 +0200 +++ ./weibull.c 2014-08-02 12:39:30.000000000 +0200 @@ -77,6 +77,7 @@ z_cutoff = Z_CUTOFF; } +void update_hist(score_entry, z_flag) Score_entry *score_entry; int z_flag; @@ -103,6 +104,7 @@ score2_sums[length] += score * score; } +void prune_hist(score_entry) Score_entry *score_entry; {