From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 14 Aug 2009 16:10:10 +0000 (+0000)
Subject: added directory for QF_BV examples
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=e7ddc1fd0c36c11c867413b9b3a32b5b0fcf7ef1;p=francis%2Fstp.git

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 87627d0..92ccc9a 100644
--- 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);