repositories
/
mc1516the.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
hoi
[mc1516the.git]
/
uppaal
/
traingate.xml
diff --git
a/uppaal/traingate.xml
b/uppaal/traingate.xml
index
33f0fde
..
6b9912e
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();
-
Gezeik
= Stupid();
+
Sync
= Stupid();
// List one or more processes to be composed into a system.
-system T, G, C,
Gezeik
;
+system T, G, C,
Sync
;
</system>
\r
<queries>
\r
</queries>
\r