From 8b642be0708d6fb1a57846d90d968fdbeccd86a9 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 22 Nov 2021 12:31:55 +0100
Subject: [PATCH] fix name of model

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Train/SimpleTrainTrack.mch | 2 +-
 Train/TwoTrainsMA.mch      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Train/SimpleTrainTrack.mch b/Train/SimpleTrainTrack.mch
index e04bff9..bfc6028 100644
--- a/Train/SimpleTrainTrack.mch
+++ b/Train/SimpleTrainTrack.mch
@@ -1,4 +1,4 @@
-MACHINE TrainTrack
+MACHINE SimpleTrainTrack
 // A small example to show how one can use LibrarySVG to flexibliy visualise
 // train track zones,...
 SETS
diff --git a/Train/TwoTrainsMA.mch b/Train/TwoTrainsMA.mch
index f203f82..21890cf 100644
--- a/Train/TwoTrainsMA.mch
+++ b/Train/TwoTrainsMA.mch
@@ -1,6 +1,6 @@
 MACHINE TwoTrainsMA
 // A small example to show how one can use LibrarySVG to flexibliy visualise
-// train track zones and MAs; model contains some errors on purpose to show how visualisation can help spot them
+// models train track zones and MAs; model contains some errors on purpose to show how visualisation can help spot them
 SETS
   TTDS = {ttd1,ttd2,ttd3,ttd4}  /*@desc "Trackside Track Detection zones" */;
   TRAINS = {tr1,tr2} /*@desc "The set of trains" */
-- 
GitLab