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 4850d999bd034bd7ce8b2bb7e994817768ae3390..c397e9d0558157960fa4f674240eab8abbbe8005 100644 (file)
--- 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() ){