commit | d6d46a23a49f548a117a2654a96b93330f51ebaf | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jul 31 12:09:01 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jul 31 12:09:01 2011 +0000 |
tree | aa71bfb9a6c1c48b398f42a736d5be9b0fe9a604 | |
parent | fc0c0d9a06864f0096abff20184e3c9a2fb03447 [diff] |
change scheme of warning/error message from "null contract violation" to "type mismatch" also improve some positions to refer to the type incl. its annotation.