diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-08 20:55:11 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-08 20:55:11 +0000 |
| commit | de960c723acfa94c7d56bde342e40d6a0b5ba19d (patch) | |
| tree | 3a0b694ba4091a89024f6c4df93ab8b5a6c33858 /src/theory/quantifiers/quantifiers_rewriter.cpp | |
| parent | 9f6d60cc724aa2b13867a0543fcce8edb4117bf6 (diff) | |
another signed-ness warning fix for newer GCC
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.cpp')
| -rw-r--r-- | src/theory/quantifiers/quantifiers_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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() ){ |