fix bug in fix for parser warning

runtimeverification · Oct 20, 2023 · 7f3fcd5 · 7f3fcd5
1 parent 1135677
commit 7f3fcd5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/k-distribution/tests/regression-new/checkWarns/missingKlabel.k b/k-distribution/tests/regression-new/checkWarns/missingKlabel.k
@@ -1,5 +1,6 @@
 // Copyright (c) K Team. All Rights Reserved.
 module MISSINGKLABEL-SYNTAX
+  syntax KItem ::= "foo" [unused]
 endmodule
 
 module MISSINGKLABEL
@@ -14,6 +15,4 @@ module MISSINGKLABEL
       , unit(.MyMap), element(_M|->_), index(0), format(%1%n%2), unused
       ]
 
-  syntax KItem ::= "foo" [unused]
-
 endmodule