From 7f3fcd5a2e58a7de0bc2403fbb3813c110bb300d Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Fri, 20 Oct 2023 12:32:59 -0500
Subject: [PATCH] fix bug in fix for parser warning

---
 k-distribution/tests/regression-new/checkWarns/missingKlabel.k | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/k-distribution/tests/regression-new/checkWarns/missingKlabel.k b/k-distribution/tests/regression-new/checkWarns/missingKlabel.k
index 4e5552ee079..ef759b90568 100644
--- 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