From 94b16637d9adbc3bdb6466b675a0d1b328354899 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 28 Jun 2010 16:35:01 +0200
Subject: [PATCH] doc: fix typo

---
 doc/implementation.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/implementation.tex b/doc/implementation.tex
index 98a159fc..cec08743 100644
--- a/doc/implementation.tex
+++ b/doc/implementation.tex
@@ -365,7 +365,7 @@ A_3 \vec x + B_3 \vec s + \vec c_3 \geq \vec 0
 such that for each row $j$ and for all $\vec s$,
 $$
 \Delta_i'(\vec s) \cap
-\{\, \vec x' \to \vec y' \mid B_{3,j} \vec s + c_{3,j} > 0 \,\}
+\{\, \vec \delta' \mid B_{3,j} \vec s + c_{3,j} > 0 \,\}
 = \emptyset
 $$
 \item positive mixed constraints
@@ -375,7 +375,7 @@ $$
 such that for each row $j$, there is at least one $\vec s$ such that
 $$
 \Delta_i'(\vec s) \cap
-\{\, \vec x' \to \vec y' \mid B_{4,j} \vec s + c_{4,j} > 0 \,\}
+\{\, \vec \delta' \mid B_{4,j} \vec s + c_{4,j} > 0 \,\}
 \ne \emptyset
 $$
 \end{enumerate}
-- 
2.11.4.GIT