mend

diff --git a/uppaal/2.xml b/uppaal/2.xml
index ad68966..2361046 100644 (file)
--- 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"/>\r
                </transition>\r
        </template>\r
+       <template>\r
+               <name>Player</name>\r
+               <location id="id2" x="-476" y="-178">\r
+               </location>\r
+               <init ref="id2"/>\r
+       </template>\r
        <system>// Place template instantiations here.
 H1 = HorzCar(2, 0, 0, 5);
 H2 = HorzCar(2, 1, 2, 5);