Skip to content
Snippets Groups Projects
Commit 3336c49e authored by Julien Signoles's avatar Julien Signoles
Browse files

[changelog] fix typo

parent 137df6ee
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 1
− 1
View file @ 3336c49e
......@@ -15,7 +15,7 @@
# E-ACSL: the Whole E-ACSL plug-in
###############################################################################
-! E-ACSL [2017/03/03] Remove precond rte option from e-acsl-gss.sh
-! E-ACSL [2017/03/03] Remove precond rte option from e-acsl-gcc.sh
-* E-ACSL [2017/03/02] Fix bts #1740 about incorrect monitoring of
memory properties when early exiting a block through
goto, break or continue.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment