diff options
Diffstat (limited to 'src/theory/sets/term_registry.cpp')
-rw-r--r-- | src/theory/sets/term_registry.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/term_registry.cpp b/src/theory/sets/term_registry.cpp index 41fe0b4c8..d4b5aa824 100644 --- a/src/theory/sets/term_registry.cpp +++ b/src/theory/sets/term_registry.cpp @@ -44,7 +44,7 @@ TermRegistry::TermRegistry(Env& env, Node TermRegistry::getProxy(Node n) { Kind nk = n.getKind(); - if (nk != SET_EMPTY && nk != SET_SINGLETON && nk != SET_INTERSECTION + if (nk != SET_EMPTY && nk != SET_SINGLETON && nk != SET_INTER && nk != SET_MINUS && nk != SET_UNION && nk != SET_UNIVERSE) { return n; |