From de960c723acfa94c7d56bde342e40d6a0b5ba19d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 8 Jul 2012 20:55:11 +0000
Subject: [PATCH] another signed-ness warning fix for newer GCC

---
 src/theory/quantifiers/quantifiers_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/quantifiers/quantifiers_rewriter.cpp b/src/theory/quantifiers/quantifiers_rewriter.cpp
index 4850d999b..c397e9d05 100644
--- a/src/theory/quantifiers/quantifiers_rewriter.cpp
+++ b/src/theory/quantifiers/quantifiers_rewriter.cpp
@@ -551,7 +551,7 @@ Node QuantifiersRewriter::computeOperation( Node f, int computeOption ){
     n = computeCNF( n, args, defs, false );
     ipl = Node::null();
   }
-  if( f[1]==n && args.size()==long(f[0].getNumChildren()) ){
+  if( f[1]==n && args.size()==f[0].getNumChildren() ){
     return f;
   }else{
     if( args.empty() ){
-- 
2.30.2