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,