hoi

diff --git a/uppaal/traingate.xml b/uppaal/traingate.xml
index 6b9912e..b16b716 100644 (file)
--- 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();
-Sync = Stupid();
+Syncer = Stupid();
 // List one or more processes to be composed into a system.
-system T, G, C, Sync;
+system T, G, C, Syncer;
     </system>\r
        <queries>\r
        </queries>\r