From 2fbdb0c45f0913b9fd8e95606c525fc5bfb3bc6d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 28 Apr 2017 15:35:43 +0200
Subject: Issue #179: clightgen produces wrong abstract syntax for "switch"
 statements

---
 Changelog | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index c64fcce2..c55449f5 100644
--- a/Changelog
+++ b/Changelog
@@ -1,5 +1,8 @@
 - Removed the compilation of '.cm' files written in Cminor concrete syntax.
 
+Bug fixing:
+- Issue #179: clightgen produces wrong output for "switch" statements.
+
 
 Release 3.0.1, 2017-02-14
 =========================
-- 
cgit