From a47a5ec4a7057428bd045ef468a756001673525a Mon Sep 17 00:00:00 2001
From: Samuel Teuber <teuber@kit.edu>
Date: Fri, 24 May 2024 15:09:40 +0200
Subject: [PATCH] Spacing issue for ghost variables

---
 .../github/javaparser/printer/DefaultPrettyPrinterVisitor.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
index d2cb8c74a2..f39de00731 100644
--- a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
+++ b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
@@ -1026,7 +1026,7 @@ public void visit(JmlSetComprehensionExpr n, Void arg) {
     public void visit(JmlGhostStmt n, Void arg) {
         printOrphanCommentsBeforeThisChildNode(n);
         wrapInJmlIfNeeded(() -> {
-            printer.print("ghost");
+            printer.print("ghost ");
             n.getStatement().accept(this, arg);
             printer.print("\n");
         });