diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 776b0996f4f866c21cbec7669714ceb02117b8c2..af4b444dc68eeba4a641ca3419b8479564d941de 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,7 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +o E-ACSL [2014/12/17] Export a minimal API for other plug-ins. -* E-ACSL [2014/10/27] Add a missing cast when translating an integral type used in a floating point/real context in an annotation.