Minor Change

rcosta358 · rcosta358 · commit 2b771b2515db · 2026-03-21T18:46:05.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/utils/VariableFormatter.java b/liquidjava-verifier/src/main/java/liquidjava/utils/VariableFormatter.java
@@ -48,6 +48,6 @@ private static String toSuperscript(String number) {
     }
 
     private static boolean isSpecialIdentifier(String id) {
-        return "fresh".equals(id) || "ret".equals(id);
+        return id.equals("fresh") || id.equals("ret");
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,6 @@ private static String toSuperscript(String number) {`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	`private static boolean isSpecialIdentifier(String id) {`
`51`		`- return "fresh".equals(id) \|\| "ret".equals(id);`
	`51`	`+ return id.equals("fresh") \|\| id.equals("ret");`
`52`	`52`	`}`
`53`	`53`	`}`