From 20549491e9cb17a0cec2d25049f669cb514d8ca6 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Fri, 23 Feb 2024 15:35:44 -0500
Subject: [PATCH] Formatting

---
 kore/src/main/scala/org/kframework/attributes/Att.scala | 1 -
 1 file changed, 1 deletion(-)

diff --git a/kore/src/main/scala/org/kframework/attributes/Att.scala b/kore/src/main/scala/org/kframework/attributes/Att.scala
index 6238f3d4b15..c5b7e940b2c 100644
--- a/kore/src/main/scala/org/kframework/attributes/Att.scala
+++ b/kore/src/main/scala/org/kframework/attributes/Att.scala
@@ -307,7 +307,6 @@ object Att {
   final val KLABEL =
     Key.builtin("klabel", KeyParameter.Required, onlyon[Production], KeyRange.WholePipeline)
   final val TERMINATOR_KLABEL =
-
     Key.builtin(
       "terminator-klabel",
       KeyParameter.Required,