Skip to content

Commit 82f2798

Browse files
committed
Fix frontend warning in collectiontest.k
1 parent 41e378f commit 82f2798

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

booster/test/rpc-integration/resources/collectiontest.k

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ module COLLECTIONTEST
55
imports LIST
66
imports MAP
77

8-
syntax State ::= State(Collection, Int) [klabel(State), symbol]
8+
syntax State ::= State(Collection, Int) [symbol(State)]
99

1010
syntax Collection ::= Set // | List | Map
1111

0 commit comments

Comments
 (0)