From 6293abc06adf61fefdd0d7c2e26d2018c8ba5ae3 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Apr 2016 20:21:06 +0200
Subject: [PATCH] tex update

---
 report2/implementation.tex | 1 +
 1 file changed, 1 insertion(+)

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.$$
+
-- 
2.20.1