From 46619c3dc71d28f3a4e1e22edb91c233cd4b30c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 23 Mar 2017 18:09:48 +0100
Subject: [PATCH] Updated readme file with note on new --simplify option.

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1d5833a..2514eb6 100644
--- a/README.md
+++ b/README.md
@@ -9,9 +9,11 @@
 ## Usage
 
 ```bash
-$ anthem [options] file...
+$ anthem [--simplify] file...
 ```
 
+With the option `--simplify`, output formulas are simplified by applying several basic transformation rules.
+
 ## Building
 
 `anthem` requires [CMake](https://cmake.org/) and [Boost](http://www.boost.org/) for building.