Check spaces

runtimeverification · Nov 27, 2023 · 2723b41 · 2723b41
1 parent 87a0faf
commit 2723b41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/src/main/java/org/kframework/compile/checks/CheckRawTerm.java b/kernel/src/main/java/org/kframework/compile/checks/CheckRawTerm.java
@@ -20,7 +20,7 @@ public void apply(KApply app) {
         if (app.klabel().equals(KLabels.RAW_TERM)) {
           errors.add(
               KEMException.compilerError(
-                  "Found usage of"
+                  "Found usage of "
                       + KLabels.RAW_TERM.name()
                       + "; this production is reserved for K backend usage and"
                       + " cannot appear in user code.",