added directory for QF_BV examples

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@127 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 87627d0bce68d46d5e09c8d45c8103338c5bdae8..92ccc9ac8fa32151690a690890078666b79319d4 100644 (file)
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -1507,7 +1507,7 @@ Expr getChild(Expr e, int i){
   nodestar a = (nodestar)e;
 
   BEEV::ASTVec c = a->GetChildren();
-  if(0 <=  i && i < c.size()) {
+  if(0 <=  i && (unsigned)i < c.size()) {
     BEEV::ASTNode o = c[i];
     nodestar output = new node(o);
     //if(cinterface_exprdelete_on) created_exprs.push_back(output);