diff options
Diffstat (limited to 'src/theory/quantifiers/cegqi/nested_qe.h')
| -rw-r--r-- | src/theory/quantifiers/cegqi/nested_qe.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/quantifiers/cegqi/nested_qe.h b/src/theory/quantifiers/cegqi/nested_qe.h index 020d15d3a..f6e15d4c6 100644 --- a/src/theory/quantifiers/cegqi/nested_qe.h +++ b/src/theory/quantifiers/cegqi/nested_qe.h @@ -30,7 +30,7 @@ namespace quantifiers { class NestedQe { - using NodeNodeMap = context::CDHashMap<Node, Node, NodeHashFunction>; + using NodeNodeMap = context::CDHashMap<Node, Node>; public: NestedQe(context::UserContext* u); @@ -53,8 +53,7 @@ class NestedQe * Get nested quantification. Returns true if q has nested quantifiers. * Adds each nested quantifier in the body of q to nqs. */ - static bool getNestedQuantification( - Node q, std::unordered_set<Node, NodeHashFunction>& nqs); + static bool getNestedQuantification(Node q, std::unordered_set<Node>& nqs); /** * Does quantified formula q have nested quantification? */ |