Fixed a bug in divisors.lib
Merge pull request #451 from jankoboehm/spielwiese

Fixed a bug in divisors.lib