From 87b952eedbbc624fc6fa5fab8b7a3da2ab2d80ca Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Sun, 24 Nov 2024 21:10:54 +0100
Subject: [PATCH] Update information on WD Check
---
src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch b/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch
index 81d9a0d69..94c9554a0 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch
@@ -1,3 +1,6 @@
+/*
+From ProB examples
+*/
MACHINE WDCheck
VARIABLES
SS
--
GitLab