Refman and Changelog.

src/plugins/e-acsl/doc/Changelog

@@ -19,6 +19,7 @@
 #   configure	configure
 ###############################################################################
 
+-  E-ACSL       [2018/03/30] Support for let binding.
 -  E-ACSL       [2018/02/21] New option -e-acsl-replace-libc-functions to
 	        replace a few libc functions by built-ins that efficiently
 	        detects when they are incorrectly called.

src/plugins/e-acsl/doc/refman/predicate.tex

@@ -13,7 +13,7 @@
        | [ { pred "^^" pred } ] ; exclusive or
        | [ term "?" pred ":" pred ] ; ternary condition
        | [ pred "?" pred ":" pred ];
-       | { "\let" id "=" term ";" pred }; local binding
+       | "\let" id "=" term ";" pred ; local binding
        | { "\let" id "=" pred ";" pred };
        | [ "\forall" binders ";" ] ; 
            [ integer-guards "==>" pred ]; univ. integer quantification

src/plugins/e-acsl/doc/refman/term.tex

@@ -29,7 +29,7 @@
        | { id "(" term ("," term)* ")" } ; function application
        | "(" term ")" ; parentheses
        | [ term "?" term ":" term ] ; ternary condition
-       | { "\let" id "=" term ";" term } ; local binding
+       | "\let" id "=" term ";" term ; local binding
        | "sizeof" "(" term ")" ;
        | "sizeof" "(" C-type-name ")" ;
        | id ":" term ; syntactic naming