| commit | 24ccbe8cc54d6be8786103edfc1c7aa6ef705a03 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Aug 10 22:42:45 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Aug 10 22:42:45 2011 +0000 |
| tree | 275c2f36ce22d97877b611f74070ba351f696d8f | |
| parent | f3e0c45903d3608395db005b1335f55ed568e193 [diff] |
offer two proposals also in case of unknown nullness / missing annotation