diff options
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.h')
-rw-r--r-- | src/theory/quantifiers/quantifiers_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quantifiers_rewriter.h b/src/theory/quantifiers/quantifiers_rewriter.h index 0cb76f686..a6a8a6780 100644 --- a/src/theory/quantifiers/quantifiers_rewriter.h +++ b/src/theory/quantifiers/quantifiers_rewriter.h @@ -69,7 +69,7 @@ private: COMPUTE_SPLIT, COMPUTE_LAST }; - static Node computeOperation( Node f, int computeOption ); + static Node computeOperation( Node f, bool isNested, int computeOption ); public: static RewriteResponse preRewrite(TNode in); static RewriteResponse postRewrite(TNode in); |