diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_repair_const.h')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_repair_const.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_repair_const.h b/src/theory/quantifiers/sygus/sygus_repair_const.h index 9b1089a71..3e45f9210 100644 --- a/src/theory/quantifiers/sygus/sygus_repair_const.h +++ b/src/theory/quantifiers/sygus/sygus_repair_const.h @@ -77,7 +77,7 @@ class SygusRepairConst const std::vector<Node>& candidate_values, std::vector<Node>& repair_cv, bool useConstantsAsHoles = false); - /** + /** * Return whether this module has the possibility to repair solutions. This is * true if this module has been initialized, and at least one candidate has * an "any constant" constructor. |