Fix frontend warning in collectiontest.k

runtimeverification · Aug 12, 2024 · 934a30e · 934a30e
1 parent eae9d61
commit 934a30e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/booster/test/rpc-integration/resources/collectiontest.k b/booster/test/rpc-integration/resources/collectiontest.k
@@ -5,7 +5,7 @@ module COLLECTIONTEST
   imports LIST
   imports MAP
 
-  syntax State ::= State(Collection, Int) [klabel(State), symbol]
+  syntax State ::= State(Collection, Int) [symbol(State)]
 
   syntax Collection ::= Set // | List | Map