diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/preprocessing/passes/nl_ext_purify.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/preprocessing/passes/nl_ext_purify.cpp b/src/preprocessing/passes/nl_ext_purify.cpp index a6da281ba..eb5728228 100644 --- a/src/preprocessing/passes/nl_ext_purify.cpp +++ b/src/preprocessing/passes/nl_ext_purify.cpp @@ -45,6 +45,11 @@ Node NlExtPurify::purifyNlTerms(TNode n, return (*find).second; } } + if (n.isClosure()) + { + // don't traverse quantified formulas + return n; + } Node ret = n; if (n.getNumChildren() > 0) { |