commit | 1bd7ad1211619ff3dde858f7fc4b9261e3916521 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Jul 02 17:00:09 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Jul 02 17:00:09 2010 +0000 |
tree | 21a2bb1e392d693d2f3d4c8eddcff0c3a2653e10 | |
parent | 267c5d39f1cbc328a5e49dd5b2cf0751edde7963 [diff] |
avoid an NPE observed while verifying Bug 316659