ref: c0f8b08833f45a6d7aef1086778c9bc479fdefb3
parent: 8e74bbae6b12fbf0afe155b9ba3b8329426583d4
author: Simon Tatham <anakin@pobox.com>
date: Fri Apr 2 06:20:58 EDT 2010
Add '-v' option to patternsolver, to make it show its working. [originally from svn r8914]