diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 631226b2fe3ac6eb9798284c6a2cd5fb49146e06..667f9feeecbff309086a165bf02f9fb9d833b87a 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,9 @@ Plugin E-ACSL <next-release> ############################ +-* E-ACSL [2021-07-13] Fix crash when encountering a GMP value in a loop + variant (frama-c/e-acsl#169). + ############################# Plugin E-ACSL 23.0 (Vanadium) #############################