[fix "stack at end of proof" error report
raph.levien@gmail.com**20060218070349] {
hunk ./gh_verify.py 487
-            raise VerifyError('stack at end of proof is ' + sexp_to_string(stack[0][1]) + ' wanted ' + sexp_to_string(stat), label)
+            raise VerifyError('stack at end of proof is ' + sexp_to_string(stack[0]) + ' wanted ' + sexp_to_string(stat), label)
}
