From 2625f282b99076eee6853381cc5d1560241e1988 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Wed, 13 Jun 2018 01:00:51 +0100
Subject: Remove obsolete --formal option from CLI

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

(limited to 'Changelog.md')

diff --git a/Changelog.md b/Changelog.md
index e3383eae..61a6c693 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -3,6 +3,7 @@
 Breaking Changes:
  * ABI Encoder: Properly pad data from calldata (``msg.data`` and external function parameters). Use ``abi.encodePacked`` for unpadded encoding.
  * Code Generator: Signed right shift uses proper arithmetic shift, i.e. rounding towards negative infinity. Warning: this may silently change the semantics of existing code!
+ * Commandline interface: Remove obsolete ``--formal`` option.
  * Commandline interface: Require ``-`` if standard input is used as source.
  * General: ``continue`` in a ``do...while`` loop jumps to the condition (it used to jump to the loop body). Warning: this may silently change the semantics of existing code.
  * General: Disallow ``sha3`` and ``suicide`` aliases.
-- 
cgit