diff options
Diffstat (limited to 'src/smt/term_formula_removal.h')
-rw-r--r-- | src/smt/term_formula_removal.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/term_formula_removal.h b/src/smt/term_formula_removal.h index f84f9dc37..371ca1f58 100644 --- a/src/smt/term_formula_removal.h +++ b/src/smt/term_formula_removal.h @@ -50,7 +50,7 @@ public: /** * By introducing skolem variables, this function removes all occurrences of: - * (1) term ITEs + * (1) term ITEs, * (2) terms of type Boolean that are not Boolean term variables, * (3) lambdas, and * (4) Hilbert choice expressions. |