ref: de5ccc9352d0156600c0ed1e87daac28015e8c01
parent: e663595a5c2e8048f33a27ab911bc9f229231df8
author: Simon Tatham <anakin@pobox.com>
date: Wed Feb 28 16:02:31 EST 2007
Gary Wong points out a couple of minor errors in the setting of `used_solve'. [originally from svn r7343]