tree 21e4b7a4e00f6e4e2659cadcf07c457cd9bedea0
parent 61706d413b899edb798975938c2669a8c21eb2cd
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1473692303 +0100
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1473692303 +0100

Stop using deprecated class.