Skip to content

Commit f53a417

Browse files
committed
Add Extra Token Text
1 parent b6f90ad commit f53a417

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
package testSuite;
2+
3+
import liquidjava.specification.Refinement;
4+
5+
@SuppressWarnings("unused")
6+
public class ErrorExtraToken {
7+
8+
void test() {
9+
@Refinement("true false") // Syntax Error
10+
int a = 1;
11+
}
12+
}

0 commit comments

Comments
 (0)