diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_unif.h')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_unif.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_unif.h b/src/theory/quantifiers/sygus/sygus_unif.h index dd6922351..614a29d1c 100644 --- a/src/theory/quantifiers/sygus/sygus_unif.h +++ b/src/theory/quantifiers/sygus/sygus_unif.h @@ -85,7 +85,7 @@ class SygusUnif * channel by the caller. */ virtual bool constructSolution(std::vector<Node>& sols, - std::vector<Node>& lemmas); + std::vector<Node>& lemmas) = 0; protected: /** reference to quantifier engine */ |