X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=uppaal%2F2.xml;fp=uppaal%2F2.xml;h=2361046849f4c0ff014199e0b4c8be43915fa408;hb=81791dac74de09b542ff79fd256a2d8f28c8e22c;hp=ad68966fea13047224d99da561d55db5d1098904;hpb=528a1a39272f8d30c30a2ce2f0660384a018cd07;p=mc1516the.git

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