Skip to content

Commit

Permalink
Fix compilation
Browse files Browse the repository at this point in the history
  • Loading branch information
Rakambda committed Nov 28, 2023
1 parent 385a809 commit 039104d
Showing 1 changed file with 5 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,11 @@ public int getMaxSize(){
return delegate.getMaxSize();
}

@Override
public int getMaxLeafDistanceFromLog(){
return delegate.getMaxLeafDistanceFromLog();
}

@Override
@NotNull
public MaxSizeAction getMaxSizeAction(){
Expand Down

0 comments on commit 039104d

Please sign in to comment.