From 96899e4dfec63dd301704c1cc0cb4c777fce311f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 23 Mar 2017 15:12:56 +0100 Subject: [PATCH] Updated change log. --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index fe31f20..f5215ab 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,7 @@ Features: -* basic simplification of output formulas (optional) +* simplification of output formulas (optional) * command-line option `--simplify` to turn on simplification Bug Fixes: