Rename THRESHOLD to threshold
Since the field is not final anymore, lint expects the name not to be capitalized.
R
Romain Vimont committed
5c2cf88a1dd80cbf9752bb500c3d1bd426316926
Parent: 8f46e18
Since the field is not final anymore, lint expects the name not to be capitalized.