From e7ddc1fd0c36c11c867413b9b3a32b5b0fcf7ef1 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 14 Aug 2009 16:10:10 +0000
Subject: [PATCH] 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
---
 src/c_interface/c_interface.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.47.3