diff options
Diffstat (limited to 'language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java b/language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java index 94dbdfee..80bbdb0f 100644 --- a/language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java +++ b/language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemLocationInFileProvider.java | |||
@@ -20,7 +20,7 @@ public class ProblemLocationInFileProvider extends DefaultLocationInFileProvider | |||
20 | } | 20 | } |
21 | 21 | ||
22 | protected ITextRegion getNodeTextRegion(Node node, RegionDescription query) { | 22 | protected ITextRegion getNodeTextRegion(Node node, RegionDescription query) { |
23 | if (ProblemUtil.isEnumLiteral(node)) { | 23 | if (ProblemUtil.isUniqueNode(node)) { |
24 | return super.doGetTextRegion(node, query); | 24 | return super.doGetTextRegion(node, query); |
25 | } | 25 | } |
26 | if (ProblemUtil.isNewNode(node)) { | 26 | if (ProblemUtil.isNewNode(node)) { |