diff options
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
-rw-r--r-- | src/theory/strings/term_registry.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/strings/term_registry.cpp b/src/theory/strings/term_registry.cpp index 4460e1ff3..d7a0a0554 100644 --- a/src/theory/strings/term_registry.cpp +++ b/src/theory/strings/term_registry.cpp @@ -437,8 +437,7 @@ const context::CDList<TNode>& TermRegistry::getFunctionTerms() const return d_functionsTerms; } -const context::CDHashSet<Node, NodeHashFunction>& TermRegistry::getInputVars() - const +const context::CDHashSet<Node>& TermRegistry::getInputVars() const { return d_inputVars; } |