From 1e5275570157334d7f5807c2777037d8a7f78023 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 6 Nov 2020 11:09:12 +0100
Subject: [PATCH] Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex
---
src/plugins/wp/doc/manual/wp_plugin.tex | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 0eaab49d8a0..aaf0e60480d 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -532,7 +532,6 @@ This is a variant of the \texttt{Lemma} tactic dedicated to \texttt{Havoc} predi
\paragraph{Separated} Expand Separation Cases\\
This tactic decompose a \texttt{separated}$(a,n,b,m)$ predicate into its four base cases: $a$ and $b$ have different bases, $a+n \leq b$, $b+m \leq a$, and $a[0..n-1]$ and $b[0..m-1]$ overlaps. The regions are separated in the first three cases, and not separated in the overlapping case. This is kind of normal disjunctive form of the separation clause.
-\subsection{Lists Tactics}
\paragraph{Sequence} Unroll repeat-sequence operator\\
In this section, let us use $A^n$ for the ACSL notation \lstinline{A *^ n},
--
GitLab