From f7cf006e30a6bbfe71692f4d7e94ce38329a5e06 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 5 Nov 2020 10:55:08 +0100
Subject: [PATCH] Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex
---
src/plugins/wp/doc/manual/wp_plugin.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 3f7683d84bd..1c499de95da 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -456,7 +456,7 @@ $G(n) \equiv P(n)\Longrightarrow\,Q(n)$:
\begin{array}[t]{lll}
\Delta', & n = b & \models G(n) \\
\Delta',\; \forall i,\, b \leq i < n \Longrightarrow G(i) \;& \models G(n) \\
-\Delta', G(k), & n < i \leq b & \models G(n)
+\Delta',\; \forall i,\, n < i \leq b \Longrightarrow G(i) \; & & \models G(n)
\end{array}} \]
\paragraph{Overflow} Integer Conversions \\
--
GitLab