Skip to content
Snippets Groups Projects
Commit f184077d authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

reset to original file

parent b6fbd3a2
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
.gitignore
+ 1
− 0
View file @ f184077d
/bin/
/src/org/eventb/internal/core/typecheck/TypeUnifier.java
SubParsers.patch
SubParsers.patch deleted 100644 → 0
+ 0
− 40
View file @ b6fbd3a2
--- 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
src/org/eventb/internal/core/parser/SubParsers.java
+ 1
− 1
View file @ f184077d
......@@ -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) {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment