diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5d45bda..c1c9f9c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,7 @@ Features:
 * unique IDs for all variables (user-defined variables are renamed)
 * support for hiding predicates from completed output by using `#show` statements
 * more simplification rules with `--simplify`
+* command-line option `--parentheses` to fully parenthesize
 
 Bug Fixes: