Formatting

runtimeverification · Nov 1, 2023 · 774560d · 774560d
1 parent 9bca4c3
commit 774560d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/src/main/java/org/kframework/compile/checks/CheckBracket.java b/kernel/src/main/java/org/kframework/compile/checks/CheckBracket.java
@@ -30,8 +30,8 @@ private static void check(ModuleItem i) {
             if (nts.size() != 1
                 || !((NonTerminal) nts.get(0)).getSort().equals(s.getDeclaredSort().getSort()))
               throw KEMException.outerParserError(
-                  "bracket productions should have exactly one non-terminal of the same sort as the"
-                      + " production.",
+                  "bracket productions should have exactly one non-terminal "
+                      + "of the same sort as the production.",
                   p.getSource(),
                   p.getLocation());
           }