diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index b672808d646ec175eb08c240e624dabf6ad539de..0d7380accd3846f1015cd02ee92dca018a41e818 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 [2021-07-19] Fix crash when raising some user errors + (frama-c/e-acsl#170). -* E-ACSL [2021-07-16] Fix crash when using some built-in labels (frama-c/e-acsl#173). - E-ACSL [2021-07-06] Add support for the extended quantifier \sum.