diff --git a/src/org/eventb/internal/core/parser/SubParsers.java b/src/org/eventb/internal/core/parser/SubParsers.java
index e71bf084b58c3fbf0175b63820c5e7617074a387..0977da1bb8d1a94ebbc16a7e2ee4cfd4c5c218e6 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) {