diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 1e53bae42cffb36f91373cc636718c00c7a4d166..78d485f3c20fa13e5098968a1bc9e0c55b212f36 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,8 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2014/03/17] Fix bug #1700 about non-ISO empty struct. + ############################### Plugin E-ACSL 0.4 Neon_20140301 ###############################