From a664b2039e675fe53a42341e84ff5a06d7639c79 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 24 Oct 2024 21:48:46 +0200
Subject: [PATCH] fix comment

---
 src/main/java/de/tla2b/analysis/InstanceTransformation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/de/tla2b/analysis/InstanceTransformation.java b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
index 93f685c..e26cb2c 100644
--- a/src/main/java/de/tla2b/analysis/InstanceTransformation.java
+++ b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
@@ -10,7 +10,7 @@ import java.util.Map;
 /**
  * This class handles substitutions during module instantiation, e.g.
  * <p>
- *      M1 == INSTANCE Counter WITH x <- c, start <- 0
+ *      M1 == INSTANCE Counter WITH x &lt;- c, start &lt;- 0
  * <p>
  * Example for usage in module:
  *      OpDef == /\ M1!Init
-- 
GitLab