Skip to content
Snippets Groups Projects
Commit a664b203 authored by Jan Gruteser's avatar Jan Gruteser
Browse files

fix comment

parent e7c79d3b
No related branches found
No related tags found
No related merge requests found
Pipeline #144511 passed
Stage: test
Stage: deploy
Show whitespace changes
Inline Side-by-side
src/main/java/de/tla2b/analysis/InstanceTransformation.java
+ 1
− 1
View file @ a664b203
...@@ -10,7 +10,7 @@ import java.util.Map; ...@@ -10,7 +10,7 @@ import java.util.Map;
/** /**
* This class handles substitutions during module instantiation, e.g. * This class handles substitutions during module instantiation, e.g.
* <p> * <p>
* M1 == INSTANCE Counter WITH x <- c, start <- 0 * M1 == INSTANCE Counter WITH x &lt;- c, start &lt;- 0
* <p> * <p>
* Example for usage in module: * Example for usage in module:
* OpDef == /\ M1!Init * OpDef == /\ M1!Init
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment