Skip to content

Commit 461b554

Browse files
committed
[tests] fixing an error in a superbuilder/checkerframework test
1 parent c11edbf commit 461b554

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ private ParentBuilderImpl() {
9696
public ChildBuilder() {
9797
}
9898
protected abstract @java.lang.Override @org.checkerframework.checker.builder.qual.ReturnsReceiver @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") B self();
99-
protected abstract @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") C build(final @org.checkerframework.checker.builder.qual.CalledMethods("b") ChildBuilder this);
99+
public abstract @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") C build(final @org.checkerframework.checker.builder.qual.CalledMethods("b") ChildBuilder this);
100100
public @org.checkerframework.checker.builder.qual.ReturnsReceiver @java.lang.SuppressWarnings("all") B a(final @org.checkerframework.checker.builder.qual.NotCalledMethods("a") ChildBuilder this, final int a) {
101101
this.a$value = a;
102102
a$set = true;

0 commit comments

Comments
 (0)