From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Apr 2016 18:21:06 +0000 (+0200)
Subject: tex update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6293abc06adf61fefdd0d7c2e26d2018c8ba5ae3;p=mc1516pa.git

tex update
---

diff --git a/report2/implementation.tex b/report2/implementation.tex
index 9cfcbac..9f8b80e 100644
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -68,3 +68,4 @@ $$next(i_1, i_2, i_3)=\left\{\begin{array}{lll}
 	(agent, i_2, i_3) & \text{if } & i_1=agent\\
 	(targetagent, i_2, i_3) & \text{if } & i_1=targetagent\\
 \end{array}\right.$$
+