From 2723b41757f3d3291dc5135e86ac87dc49521af6 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 27 Nov 2023 17:29:14 +0000 Subject: [PATCH] Check spaces --- .../main/java/org/kframework/compile/checks/CheckRawTerm.java | 2 +- 1 file changed, 1 insertion(+), 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 index ced2198c3c1..2d3ab08671e 100644 --- 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.",