Skip to content

Commit a017180

Browse files
committed
Fix implicit prepare method (must not be static)
1 parent 8a90393 commit a017180

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

key.core/src/main/java/de/uka/ilkd/key/java/transformations/pipeline/CreateBuilder.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,6 @@ private BlockStmt createBody() {
7474
public MethodDeclaration createMethod(TypeDeclaration<?> type) {
7575
NodeList<Modifier> modifiers = new NodeList<>();
7676
modifiers.add(new Modifier(Modifier.DefaultKeyword.PUBLIC));
77-
modifiers.add(new Modifier(Modifier.DefaultKeyword.STATIC));
7877

7978
MethodDeclaration md = new MethodDeclaration(
8079
modifiers, new ClassOrInterfaceType(null, services.getId(type)),

0 commit comments

Comments
 (0)