Skip to content

Commit

Permalink
public
Browse files Browse the repository at this point in the history
  • Loading branch information
robin-aws committed Oct 30, 2023
1 parent 49c7de3 commit ae8d542
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ private MethodSpec testServiceConstructor(BuilderSpecs builderSpecs) {
private MethodSpec successOfTestServiceConstructor() {
MethodSpec.Builder method = MethodSpec
.methodBuilder("createSuccessOfClient")
.addModifiers(STATIC, PROTECTED)
.addModifiers(STATIC, PUBLIC)
.addParameter(thisClassName, "client")
.returns(Dafny.asDafnyResult(
subject.dafnyNameResolver.classNameForInterface(this.targetShape),
Expand Down

0 comments on commit ae8d542

Please sign in to comment.