diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:27 -0400 |
commit | 07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch) | |
tree | c9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | |
parent | Initial workspace setup (diff) | |
download | VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.gz VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.zst VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.zip |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java index aacb9647..c300c218 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | |||
@@ -596,7 +596,7 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
596 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT)); | 596 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT)); |
597 | } | 597 | } |
598 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 598 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
599 | feeder.accept(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0(), semanticObject.getComment()); | 599 | feeder.accept(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0(), semanticObject.getComment()); |
600 | feeder.finish(); | 600 | feeder.finish(); |
601 | } | 601 | } |
602 | 602 | ||