From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 8 Jul 2012 20:55:11 +0000 (+0000)
Subject: another signed-ness warning fix for newer GCC
X-Git-Tag: cvc5-1.0.0~7945
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=de960c723acfa94c7d56bde342e40d6a0b5ba19d;p=cvc5.git

another signed-ness warning fix for newer GCC
---

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() ){