Skip to content

Commit e1eecc6

Browse files
committed
Update Test
1 parent a870306 commit e1eecc6

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

liquidjava-example/src/main/java/testSuite/ErrorAliasArgumentSize.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Refinement Error
1+
// Not Found Error
22
package testSuite;
33

44
import liquidjava.specification.Refinement;
@@ -9,7 +9,7 @@
99
public class ErrorAliasArgumentSize {
1010

1111
public static void main(String[] args) {
12-
@Refinement("InRange(_, 0, 10)")
12+
@Refinement("InRange(j, 10)")
1313
int j = 15;
1414
}
1515
}

0 commit comments

Comments
 (0)