From f184077df5753965f123352549097fb134e56719 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 6 Aug 2015 13:08:18 +0200
Subject: [PATCH] reset to original file
---
.gitignore | 1 +
SubParsers.patch | 40 -------------------
.../internal/core/parser/SubParsers.java | 2 +-
3 files changed, 2 insertions(+), 41 deletions(-)
delete mode 100644 SubParsers.patch
diff --git a/.gitignore b/.gitignore
index 8684c52..d3f4238 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 c8d7c4a..0000000
--- 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 0977da1..e71bf08 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) {
--
GitLab