Skip to content

Commit cc86f95

Browse files
committed
Update Comments
1 parent ad21eb0 commit cc86f95

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VariableResolver.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -53,13 +53,13 @@ private static void resolveRecursive(Expression exp, Map<String, Expression> map
5353
} else if (right instanceof Var var && left.isLiteral()) {
5454
map.put(var.getName(), left.clone());
5555
} else if (left instanceof Var leftVar && right instanceof Var rightVar) {
56-
// to later substitute internal variable with user-facing variable
56+
// to substitute internal variable with user-facing variable
5757
if (leftVar.isInternal() && !rightVar.isInternal()) {
5858
map.put(leftVar.getName(), right.clone());
5959
} else if (rightVar.isInternal() && !leftVar.isInternal()) {
6060
map.put(rightVar.getName(), left.clone());
6161
} else if (leftVar.isInternal() && rightVar.isInternal()) {
62-
// substitute the lower-counter variable with the higher-counter one
62+
// to substitute the lower-counter variable with the higher-counter one
6363
boolean isLeftCounterLower = leftVar.getCounter() <= rightVar.getCounter();
6464
Var lowerVar = isLeftCounterLower ? leftVar : rightVar;
6565
Var higherVar = isLeftCounterLower ? rightVar : leftVar;

0 commit comments

Comments
 (0)