From 5cce15ccdc4bd271b918f9caa17e7efdf64a85b9 Mon Sep 17 00:00:00 2001
From: pimjager <pim@pimjager.nl>
Date: Tue, 14 Jun 2016 10:35:18 +0200
Subject: [PATCH] traingate

---
 uppaal/traingate.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>
-- 
2.20.1