tree fb384f4dd9c76140f95407cd3f44097a590a8d93
parent 78077f4c96f0e363c535013dae1a9f80ba31dee9
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1411476009 +0100
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1411481377 +0100

Tidying up the source a little.