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