diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java index d3c1b221..6f66f66b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java | |||
| @@ -95,9 +95,7 @@ public class VampireLanguageSyntacticSequencer extends AbstractSyntacticSequence | |||
| 95 | * This ambiguous syntax occurs at: | 95 | * This ambiguous syntax occurs at: |
| 96 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariable | 96 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariable |
| 97 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariableDeclaration | 97 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariableDeclaration |
| 98 | * (rule start) (ambiguity) '$false' ':' type=VLSTypeDef | ||
| 99 | * (rule start) (ambiguity) '$false' (rule start) | 98 | * (rule start) (ambiguity) '$false' (rule start) |
| 100 | * (rule start) (ambiguity) '$true' ':' type=VLSTypeDef | ||
| 101 | * (rule start) (ambiguity) '$true' (rule start) | 99 | * (rule start) (ambiguity) '$true' (rule start) |
| 102 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariable | 100 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariable |
| 103 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariableDeclaration | 101 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariableDeclaration |