Print type errors withing checkBidirectionalizability
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Sep 2010 14:44:25 +0000 (14:44 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Sep 2010 14:44:25 +0000 (14:44 +0000)

No differences found