tree 78baafb39f2430a9b62ffb00c2423ec920e0c6fc
parent b5d3e2ce7b8cf9e2d7d1ac729bbc5122d283c759
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1413552154 +0100
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1413552154 +0100

Improve the length calculation.