Resolve spaces after +

runtimeverification · Oct 26, 2023 · d9f4e33 · d9f4e33
1 parent 38a90ab
commit d9f4e33
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java b/kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java
@@ -398,8 +398,8 @@ private static Tuple4<Set<Sentence>, Sort, K, Boolean> computeSentencesOfWellFor
                     fragmentItems.add(NonTerminal(childOptSort));
 
                     sentences.add(Production(Seq(), childOptSort, List(NonTerminal(childSort))));
-                    if (!m.definedKLabels().contains(KLabel("no"+ childSort))) {
-                        sentences.add(Production(KLabel("no"+ childSort), childOptSort, List(Terminal("no"+ childSort)),
+                    if (!m.definedKLabels().contains(KLabel("no" + childSort))) {
+                        sentences.add(Production(KLabel("no" + childSort), childOptSort, List(Terminal("no" + childSort)),
                                 Att().add(Att.CELL_OPT_ABSENT(),Sort.class,childSort)));
                     }
                 }