diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-20 15:56:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 22:56:40 +0000 |
| commit | 80cdf28298c9190506f37721492680f432ef635d (patch) | |
| tree | ddbb13725bc2982bd2c16b16845feb77ef43e50c /src/theory/sets | |
| parent | fae60561339d795eb532970b2b3b0e685d44d6cd (diff) | |
api: Improve documentation for special cases with nullary ops. (#7433)
Fixes #7430.
Diffstat (limited to 'src/theory/sets')
| -rw-r--r-- | src/theory/sets/normal_form.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/normal_form.h b/src/theory/sets/normal_form.h index eb839e1c0..35d06a510 100644 --- a/src/theory/sets/normal_form.h +++ b/src/theory/sets/normal_form.h @@ -58,7 +58,7 @@ class NormalForm { } /** - * Returns true if n is considered a to be a (canonical) constant set value. + * Returns true if n is considered to be a (canonical) constant set value. * A canonical set value is one whose AST is: * (union (singleton c1) ... (union (singleton c_{n-1}) (singleton c_n)))) * where c1 ... cn are constants and the node identifier of these constants |