diff options
Diffstat (limited to 'src/theory/quantifiers/skolemize.cpp')
-rw-r--r-- | src/theory/quantifiers/skolemize.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/skolemize.cpp b/src/theory/quantifiers/skolemize.cpp index 2e9093b82..a9ac7d0d2 100644 --- a/src/theory/quantifiers/skolemize.cpp +++ b/src/theory/quantifiers/skolemize.cpp @@ -383,7 +383,7 @@ void Skolemize::getSkolemTermVectors( { std::unordered_map<Node, std::vector<Node>, NodeHashFunction>::const_iterator itk; - for (const std::pair<const Node, Node>& p : d_skolemized) + for (const auto& p : d_skolemized) { Node q = p.first; itk = d_skolem_constants.find(q); |