bug in Expr::isIntegerConstantExpr() in LNot handling

Hi,

I think I didn't send this patch yet. The patch fixes a bug in Expr::isIntegerConstantExpr() handling the LNot Operator.

Nuno

Index: Expr.cpp

Hi,

I think I didn't send this patch yet. The patch fixes a bug in
Expr::isIntegerConstantExpr() handling the LNot Operator.

Applied, thanks!

-Chris