From: pimjager <pim@pimjager.nl>
Date: Tue, 14 Jun 2016 09:31:15 +0000 (+0200)
Subject: mend
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=81791dac74de09b542ff79fd256a2d8f28c8e22c;p=mc1516the.git

mend
---

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);