| commit | ce77a147ac3b3504529d68003aae773ead71f29e | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Sep 12 13:07:16 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Sep 12 13:07:16 2010 +0000 |
| tree | ae31cd4d80f80a3c45de50e1fb5e751046e869a5 | |
| parent | 0c9c7ecb565cded5e5d2433e3554dd9cda0a78b7 [diff] |
Avoid an NPE I observed with badly broken sources in RL.