From 33acf68bb66c0cce7941089f793ce2d8ce15bbdf Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 8 Sep 2024 10:08:07 +0200
Subject: [PATCH] change in comment

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Jars/DieHard.tla | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jars/DieHard.tla b/Jars/DieHard.tla
index f64543a..d0a01c5 100644
--- a/Jars/DieHard.tla
+++ b/Jars/DieHard.tla
@@ -1,5 +1,5 @@
 ------------------------------ MODULE DieHard ------------------------------- 
-(* File from TLC distribution; minor change for ProB and VisB *)
+(* File from TLC distribution; minor changes for ProB and VisB *)
 (***************************************************************************)
 (* In the movie Die Hard 3, the heros must obtain exactly 4 gallons of     *)
 (* water using a 5 gallon jug, a 3 gallon jug, and a water faucet.  Our    *)
-- 
GitLab