diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 49ca8b5c56c1fd21ab1c0327f93153cea87537fe..887096d1497b000c0d32ff5044f19dd768b75897 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,8 @@ Plugin E-ACSL <next-release> ############################ +-* E-ACSL [2022-11-08] Fix clashing name when a function with contract and a + logic function have the same name (frama-c/eacsl#204) - E-ACSL [2022-11-08] Add support for functions returning a rational -* E-ACSL [2022-11-08] Fix assign clause and result as extra argument for functions returning a structure (frama-c/frama-c#1139)