diff options
Diffstat (limited to 'stp/c_interface/c_interface.cpp')
| -rw-r--r-- | stp/c_interface/c_interface.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/c_interface/c_interface.cpp b/stp/c_interface/c_interface.cpp index f4e53114..52c4df21 100644 --- a/stp/c_interface/c_interface.cpp +++ b/stp/c_interface/c_interface.cpp @@ -1409,7 +1409,7 @@ Expr getChild(Expr e, int i){ nodestar a = (nodestar)e; BEEV::ASTVec c = a->GetChildren(); - if(0 <= (unsigned)i && (unsigned)i < c.size()) { + if ((unsigned)i < c.size()) { BEEV::ASTNode o = c[i]; nodestar output = new node(o); //if(cinterface_exprdelete_on) created_exprs.push_back(output); |