From 9f9e0114420caabb353f39e20e7d98887eca26f1 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:02:08 +0000
Subject: STP: Eliminate dead test.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100393 91177308-0d34-0410-b5e6-96231b3b80d8
---
stp/c_interface/c_interface.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'stp/c_interface/c_interface.cpp')
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);
--
cgit 1.4.1