diff --git a/v2/util/numbers.jam b/v2/util/numbers.jam index 8d008c218..665347d31 100644 --- a/v2/util/numbers.jam +++ b/v2/util/numbers.jam @@ -6,16 +6,6 @@ import errors ; -digits = 0 1 2 3 4 5 6 7 8 9 ; -powers = 1 ; -zeros = "" ; -natural = $(digits) ; -positive = $(digits[2-]) ; -incr = $(positive[2-]) ; -znatural = $(digits) ; -zero-test = is zero ; # if $(zero-test[$(n)]) == "is" "zero", n == 0 - - rule trim-leading-zeroes ( value ) { return [ CALC $(value) + 0 ] ;