Commit 28f39d2b authored by Johannes Roith's avatar Johannes Roith

Broke build, sorry.

parent e2d72aa0
......@@ -53,7 +53,7 @@ public class OpenDefinitionHandler extends AbstractHandler {
if (parent != null && parent instanceof ProductionSymbolRef) {
ProductionSymbolRef prodRef = (ProductionSymbolRef) parent;
Production definition = prodRef.getDefinition();
Production definition = (Production) prodRef.getDefinition();
if (definition != null) {
Position targetPosition = definition.getBegin();
int length = definition.getName().name.length();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment