tree 170d4ef4f266f90b0b48283754ae4dbb5070bde0
parent 0617e5f0a80993aaa50fd24e06e4d7ef0cd0b2fc
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418823673 +0000
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418823673 +0000

Squelch some warnings.