Remove dead code in TcSimplify
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 03:17:19 +0000 (03:17 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 03:17:19 +0000 (03:17 +0000)

No differences found