Merge pull request #25 from cerati/remove-unused-dist2 remove unused dist2 variable (fails compilation with Werror=unused-va…
Merge pull request #25 from cerati/remove-unused-dist2 remove unused dist2 variable (fails compilation with Werror=unused-va…