Skip to content

Commit 0f6d354

Browse files
committed
Formatting
1 parent 642ba0e commit 0f6d354

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

liquidjava-verifier/src/main/java/liquidjava/processor/context/Context.java

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -104,8 +104,7 @@ public void addVarToContext(RefinedVariable var) {
104104
var.addSuperTypes(type.getSuperclass(), type.getSuperInterfaces());
105105
}
106106

107-
public RefinedVariable addVarToContext(String simpleName, CtTypeReference<?> type, Predicate c,
108-
CtElement element) {
107+
public RefinedVariable addVarToContext(String simpleName, CtTypeReference<?> type, Predicate c, CtElement element) {
109108
RefinedVariable vi = new Variable(simpleName, type, c);
110109
vi.addPlacementInCode(element);
111110
vi.addSuperTypes(type.getSuperclass(), type.getSuperInterfaces());

liquidjava-verifier/src/main/java/liquidjava/processor/context/RefinedVariable.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ public PlacementInCode getPlacementInCode() {
5656
public SourcePosition getAnnPosition() {
5757
return annPosition;
5858
}
59-
59+
6060
@Override
6161
public int hashCode() {
6262
final int prime = 31;

0 commit comments

Comments
 (0)