diff options
| -rw-r--r-- | src/theory/ite_simplifier.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/ite_simplifier.cpp b/src/theory/ite_simplifier.cpp index c70e9be6a..bf031fc94 100644 --- a/src/theory/ite_simplifier.cpp +++ b/src/theory/ite_simplifier.cpp @@ -369,10 +369,10 @@ Node ITESimplifier::substitute(TNode e, TNodeMap& substTable, TNodeMap& cache) } Node result = builder; - it = substTable.find(result); - if (it != iend) { - result = substitute(it->second, substTable, cache); - } + // it = substTable.find(result); + // if (it != iend) { + // result = substitute(it->second, substTable, cache); + // } cache[e] = result; return result; } |