diff options
Diffstat (limited to 'src/theory/sets/solver_state.cpp')
| -rw-r--r-- | src/theory/sets/solver_state.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/solver_state.cpp b/src/theory/sets/solver_state.cpp index 023a8a6af..3f619dcad 100644 --- a/src/theory/sets/solver_state.cpp +++ b/src/theory/sets/solver_state.cpp @@ -90,7 +90,7 @@ void SolverState::registerTerm(Node r, TypeNode tnn, Node n) } } } - else if (nk == SET_SINGLETON || nk == SET_UNION || nk == SET_INTERSECTION + else if (nk == SET_SINGLETON || nk == SET_UNION || nk == SET_INTER || nk == SET_MINUS || nk == SET_EMPTY || nk == SET_UNIVERSE) { if (nk == SET_SINGLETON) |