From 1e887594c70dde5a5a1d68575fa6d3085faae408 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 6 Jun 2017 02:07:21 +0200 Subject: [PATCH] Updated change log with new option --parentheses. --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) 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: