| commit | f6eb5fbf4449df92e3fbfc109cbfaf8297139799 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Oct 23 14:53:05 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Oct 23 14:53:05 2011 +0000 |
| tree | 73d3cf29d72777a5852cf1ad54f12fdc43a1ec34 | |
| parent | a0075f21f35aa586b3897e7976461cb199cce989 [diff] |
Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts