#364 Corrected an error in the Festo benchmark model.

bc3c50c9 · Ferdie Reijnen · 601882ff · bc3c50c9
Commit bc3c50c9 authored May 12, 2022 by Ferdie Reijnen
--- a/cif/org.eclipse.escet.cif.examples/benchmarks/festo/station5.cif
+++ b/cif/org.eclipse.escet.cif.examples/benchmarks/festo/station5.cif
@@ -160,7 +160,7 @@ requirement ClampDrill:
  location Five:
    edge A_drilldown.c_off goto Six;
  location Six:
-    edge A_drillup.c_on goto seven;
+    edge A_drillup.c_on goto Seven;
  location Seven:
    edge A_drill.c_off goto Eight;
  location Eight: