diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-15 18:51:50 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-15 18:51:50 -0800 |
| commit | 6b1fa571c5df2ec7f4e48f9d3673eb8215a73dac (patch) | |
| tree | f129084b4e31a6f0ccb26cc5d47323a04ea6842f | |
| parent | a964c48e28c8c852fe3f1965f1e5765d70a39997 (diff) | |
| parent | 96bc37e0014ce6fbcc41487cc5145b278850c27f (diff) | |
Merge remote-tracking branch 'ajreynol/extDecomposeRevisit' into ext_decext_dec
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 55b04e0cd..13d1e74d8 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -1654,7 +1654,7 @@ void TheoryStrings::checkExtfEval( int effort ) { else { bool reduced = false; - if (!einfo.d_const.isNull()) + if (!einfo.d_const.isNull() && nrc.getType().isBoolean()) { Assert( effort<3 ); einfo.d_exp.push_back(einfo.d_const == d_false ? n.negate() : n); |