From 81791dac74de09b542ff79fd256a2d8f28c8e22c Mon Sep 17 00:00:00 2001
From: pimjager <pim@pimjager.nl>
Date: Tue, 14 Jun 2016 11:31:15 +0200
Subject: [PATCH] mend

---
 uppaal/2.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/uppaal/2.xml b/uppaal/2.xml
index ad68966..2361046 100644
--- a/uppaal/2.xml
+++ b/uppaal/2.xml
@@ -59,6 +59,12 @@ chan up[N], down[N], left[N], right[N];</declaration>
 			<nail x="-34" y="-102"/>
 		</transition>
 	</template>
+	<template>
+		<name>Player</name>
+		<location id="id2" x="-476" y="-178">
+		</location>
+		<init ref="id2"/>
+	</template>
 	<system>// Place template instantiations here.
 H1 = HorzCar(2, 0, 0, 5);
 H2 = HorzCar(2, 1, 2, 5);
-- 
2.20.1