diff --git a/.gitignore b/.gitignore
index 8684c52b3f5fec9f1e06522eadc06c17c42501d7..d3f42380dcbf303f551ee6cea62149bef4939b6a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /bin/
 /src/org/eventb/internal/core/typecheck/TypeUnifier.java
+SubParsers.patch
diff --git a/SubParsers.patch b/SubParsers.patch
deleted file mode 100644
index c8d7c4a28799c073366f97226827ef8a0a1cd3b3..0000000000000000000000000000000000000000
--- a/SubParsers.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-
-  --- rodin-ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:29:24.000000000 +0200
-  +++ rodin-b-sharp-rodincore/org.eventb.core.ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:42:32.000000000 +0200
-  @@ -492,7 +492,7 @@ public class SubParsers {
-
-   	};
-
-  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
-  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
-
-   		@Override
-   		protected int getKind(AbstractGrammar grammar) {
-
-  
-  --- rodin-ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:29:24.000000000 +0200
-  +++ rodin-b-sharp-rodincore/org.eventb.core.ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:42:32.000000000 +0200
-  @@ -492,7 +492,7 @@ public class SubParsers {
-
-   	};
-
-  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
-  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
-
-   		@Override
-   		protected int getKind(AbstractGrammar grammar) {
-
-  
-  --- rodin-ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:29:24.000000000 +0200
-  +++ rodin-b-sharp-rodincore/org.eventb.core.ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:42:32.000000000 +0200
-  @@ -492,7 +492,7 @@ public class SubParsers {
-
-   	};
-
-  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
-  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
-
-   		@Override
-   		protected int getKind(AbstractGrammar grammar) {
-
-  
\ No newline at end of file
diff --git a/src/org/eventb/internal/core/parser/SubParsers.java b/src/org/eventb/internal/core/parser/SubParsers.java
index 0977da1bb8d1a94ebbc16a7e2ee4cfd4c5c218e6..e71bf084b58c3fbf0175b63820c5e7617074a387 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<org.eventb.core.ast.BoundIdentDecl> {
+	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
 
 		@Override
 		protected int getKind(AbstractGrammar grammar) {