From afd37a623915888f53616140cd3f357fc7e81ed1 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 6 Aug 2015 13:17:55 +0200
Subject: [PATCH] patched source
---
src/org/eventb/internal/core/parser/SubParsers.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/org/eventb/internal/core/parser/SubParsers.java b/src/org/eventb/internal/core/parser/SubParsers.java
index e71bf08..0977da1 100644
--- a/src/org/eventb/internal/core/parser/SubParsers.java
+++ b/src/org/eventb/internal/core/parser/SubParsers.java
@@ -492,7 +492,7 @@ public class SubParsers {
};
- public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
+ public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
@Override
protected int getKind(AbstractGrammar grammar) {
--
GitLab