diff options
Diffstat (limited to 'src/theory/quantifiers/query_generator.cpp')
-rw-r--r-- | src/theory/quantifiers/query_generator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/query_generator.cpp b/src/theory/quantifiers/query_generator.cpp index 55beea4ca..79891cb42 100644 --- a/src/theory/quantifiers/query_generator.cpp +++ b/src/theory/quantifiers/query_generator.cpp @@ -83,7 +83,7 @@ bool QueryGenerator::addTerm(Node n, std::ostream& out) } if (threshCount < 2) { - for (const std::pair<Node, std::vector<unsigned>>& etp : ev_to_pt) + for (const std::pair<const Node, std::vector<unsigned>>& etp : ev_to_pt) { if (etp.second.size() < d_deqThresh) { |