Fix a lint bug with coercions
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)
Wed Jul 26 08:18:25 EDT 2006  simonpj@microsoft.com


No differences found