From 6f4188997f43d05fc2615bbad9858f00f9ebd340 Mon Sep 17 00:00:00 2001
From: Fonenantsoa Maurica <maurica.fonenantsoa@gmail.com>
Date: Tue, 18 Sep 2018 11:48:07 +0200
Subject: [PATCH] Doc
---
src/plugins/e-acsl/doc/Changelog | 2 ++
src/plugins/e-acsl/doc/refman/speclang_modern.tex | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 44f1e627bed..3f9ccc57028 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
# configure configure
###############################################################################
+- E-ACSL [2018/18/09] Support for ranges in a few builtins.
+
###############################
Plugin E-ACSL Chlorine-20180501
###############################
diff --git a/src/plugins/e-acsl/doc/refman/speclang_modern.tex b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
index b868b10cdbd..c2ee3338b80 100644
--- a/src/plugins/e-acsl/doc/refman/speclang_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
@@ -351,7 +351,7 @@ Figure~\ref{fig:gram:oldandresult} summarizes grammar extension of terms with
\subsection{Memory locations and sets of terms}
\label{sec:locations}
-\except{\notimplemented{ranges and set comprehensions} are limited in order to
+\except{ranges and \notimplemented{set comprehensions} are limited in order to
be finite}
Figure~\ref{fig:gram:locations} describes grammar of sets of terms. The only
--
GitLab