From e27418cb3369c8b7fa3f18ef63425ea2918b7cee Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leonardoaltt@gmail.com>
Date: Thu, 4 Jan 2018 21:23:56 +0100
Subject: [PATCH] [SMTChecker] Added feature line to Changelog

---
 Changelog.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index 13c8118f9..bfaeeb27a 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -3,6 +3,8 @@
 Features:
  * Limit the number of warnings raised for creating abstract contracts.
  * Inline Assembly: Issue warning for using jump labels (already existed for jump instructions).
+ * SMT Checker: If-else branch conditions are taken into account in the SMT encoding of the program
+   variables.
 
 Bugfixes:
  * Parser: Disallow event declarations with no parameter list.