Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
Scott-Guest committed Feb 23, 2024
1 parent fe9406f commit e2c5c3f
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion kore/src/main/scala/org/kframework/attributes/Att.scala
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit e2c5c3f

Please sign in to comment.