diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/example_infer.h')
-rw-r--r-- | src/theory/quantifiers/sygus/example_infer.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/example_infer.h b/src/theory/quantifiers/sygus/example_infer.h index 921e52c3c..d34e32b0e 100644 --- a/src/theory/quantifiers/sygus/example_infer.h +++ b/src/theory/quantifiers/sygus/example_infer.h @@ -107,8 +107,7 @@ class ExampleInfer */ bool collectExamples( Node n, - std::map<std::pair<bool, bool>, - std::unordered_set<Node, NodeHashFunction>>& visited, + std::map<std::pair<bool, bool>, std::unordered_set<Node>>& visited, bool hasPol, bool pol); /** Pointer to the sygus term database */ |