From 1d172589f5b2dcbd2a821bad1f4ef6623cc65661 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 9 Jun 2017 22:13:05 +0200 Subject: [PATCH] Rephrased change log entry for clarity. --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4620b3b..28c2c51 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,7 +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 +* command-line option `--parentheses` to fully parenthesize the output Bug Fixes: