From c0e121ceef1484ff3ad74fadb0b781ec1282690e Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 22 Nov 2017 19:06:27 +0100 Subject: Pull request #192: improve the printing of Clight intermediate code So that it looks more like valid C source. --- Changelog | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 59f184e2..4c5632ee 100644 --- a/Changelog +++ b/Changelog @@ -3,6 +3,8 @@ Code generation and optimization: Usability: - Resurrected support for the Cygwin x86-32 port, which got lost at release 3.0. +- Pull request #192: improve the printing of Clight intermediate code + so that it looks more like valid C source. (Frédéric Besson) Bug fixing: - Issue #P25: make sure sizeof(long double) = sizeof(double) in all contexts. -- cgit