diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java index 4c1eaf02..cb2da160 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |||
@@ -73,7 +73,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
73 | 73 | ||
74 | /** | 74 | /** |
75 | * Ambiguous syntax: | 75 | * Ambiguous syntax: |
76 | * 'and' | '&&' | 76 | * '&&' | 'and' |
77 | * | 77 | * |
78 | * This ambiguous syntax occurs at: | 78 | * This ambiguous syntax occurs at: |
79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison | 79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison |
@@ -168,7 +168,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
168 | 168 | ||
169 | /** | 169 | /** |
170 | * Ambiguous syntax: | 170 | * Ambiguous syntax: |
171 | * 'iff' | '<=>' | 171 | * '<=>' | 'iff' |
172 | * | 172 | * |
173 | * This ambiguous syntax occurs at: | 173 | * This ambiguous syntax occurs at: |
174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl | 174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl |