From 33e47ae089e288f3131952e8bc19f64c1be01925 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 15 Mar 2017 16:32:26 +0100
Subject: [PATCH] Updated change log with new explicit formula representation.

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index af281e5..b941daf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## (unreleased)
 
+Internal:
+
+* explicit syntax tree representation for first-order formulas
+
 ## 0.1.1 (2017-03-06)
 
 Features: