X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=uppaal%2Ftraingate.xml;h=b16b716bd04bfe1ad4ee5400e6e6755710282a6c;hb=10df1a675da1776f737a1f374c32ecca3ed3b2c2;hp=33f0fde7a726f72ae2c84b561b61841653e16283;hpb=8fda60e79520d70eb130ba08ef48f67df9b60886;p=mc1516the.git

diff --git a/uppaal/traingate.xml b/uppaal/traingate.xml
index 33f0fde..b16b716 100644
--- a/uppaal/traingate.xml
+++ b/uppaal/traingate.xml
@@ -167,9 +167,9 @@ chan approach, in, out, ex, lower, raise, down, up;</declaration>
 T = Train();
 G = Gate();
 C = Controller();
-Gezeik = Stupid();
+Syncer = Stupid();
 // List one or more processes to be composed into a system.
-system T, G, C, Gezeik;
+system T, G, C, Syncer;
     </system>
 	<queries>
 	</queries>