calling pprPanic rather than error when something goes wrong
authorandy@galois.com <unknown>
Wed, 11 Jul 2007 07:19:35 +0000 (07:19 +0000)
committerandy@galois.com <unknown>
Wed, 11 Jul 2007 07:19:35 +0000 (07:19 +0000)

No differences found