more aggressive optimization of coercion terms
authortom.schrijvers@cs.kuleuven.be <unknown>
Sun, 8 Nov 2009 18:51:52 +0000 (18:51 +0000)
committertom.schrijvers@cs.kuleuven.be <unknown>
Sun, 8 Nov 2009 18:51:52 +0000 (18:51 +0000)

No differences found