diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.h')
-rw-r--r-- | src/theory/quantifiers/sygus/synth_conjecture.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/synth_conjecture.h b/src/theory/quantifiers/sygus/synth_conjecture.h index 126facfa8..3faf944eb 100644 --- a/src/theory/quantifiers/sygus/synth_conjecture.h +++ b/src/theory/quantifiers/sygus/synth_conjecture.h @@ -73,7 +73,7 @@ class EnumValGenerator }; /** a synthesis conjecture - * This class implements approaches for a synthesis conecjture, given by data + * This class implements approaches for a synthesis conjecture, given by data * member d_quant. * This includes both approaches for synthesis in Reynolds et al CAV 2015. It * determines which approach and optimizations are applicable to the |