diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_explain.h')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_explain.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_explain.h b/src/theory/quantifiers/sygus/sygus_explain.h index 4efc171d3..3f18a65d6 100644 --- a/src/theory/quantifiers/sygus/sygus_explain.h +++ b/src/theory/quantifiers/sygus/sygus_explain.h @@ -65,7 +65,7 @@ class TermRecBuild /** get the i^th child of the active term */ Node getChild(unsigned i); /** build the (modified) version of the term - * we intialized via the call to init(). + * we initialized via the call to init(). */ Node build(unsigned p = 0); |