On Feb 26, 2007, at 3:15 PM, Chris Lattner wrote: > + return second == that.second && > + this->first.getBitWidth() == that.first.getBitWidth > () && > + this->first == that.first; > > If the 'second's match, how could the types not match. More coherently, you can drop the second line of the condition. -Chris