diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-25 08:48:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-25 08:48:14 -0500 |
| commit | b71f00097394c5f292abb002e31f49a07aff0b58 (patch) | |
| tree | 0d43b34aeed35abc267fad67f69ca7a5e2600e85 /src/theory/strings/solver_state.cpp | |
| parent | d19b800ac00feb44bfc6302f02695c8700e15c12 (diff) | |
Generalize more uses of string-specific functions (#4145)
Towards theory of sequences.
Diffstat (limited to 'src/theory/strings/solver_state.cpp')
| -rw-r--r-- | src/theory/strings/solver_state.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/solver_state.cpp b/src/theory/strings/solver_state.cpp index a38bf2c50..30acba9fd 100644 --- a/src/theory/strings/solver_state.cpp +++ b/src/theory/strings/solver_state.cpp @@ -108,7 +108,7 @@ void SolverState::eqNotifyNewClass(TNode t) ei->d_codeTerm = t[0]; } } - else if (k == CONST_STRING) + else if (t.isConst()) { EqcInfo* ei = getOrMakeEqcInfo(t); ei->d_prefixC = t; |