Fix pgindent

for commit e53a611523

diff --git a/src/backend/tcop/utility.c b/src/backend/tcop/utility.c
index 866b294318a9b98ae27fbf2cc137f11c8e623a72..e3ccf6c7f7e8b03718d395b5fc97b29420452412 100644 (file)
--- a/src/backend/tcop/utility.c
+++ b/src/backend/tcop/utility.c
@@ -950,7 +950,7 @@ standard_ProcessUtility(PlannedStmt *pstmt,
            if (!has_privs_of_role(GetUserId(), ROLE_PG_CHECKPOINT))
                ereport(ERROR,
                        (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
-                        /* translator: %s is name of a SQL command, eg CHECKPOINT */
+               /* translator: %s is name of a SQL command, eg CHECKPOINT */
                         errmsg("permission denied to execute %s command",
                                "CHECKPOINT"),
                         errdetail("Only roles with privileges of the \"%s\" role may execute this command.",