diff --git a/src/bin/psql/command.c b/src/bin/psql/command.c
index 1339f336ff..786f4139b5 100644
--- a/src/bin/psql/command.c
+++ b/src/bin/psql/command.c
@@ -492,7 +492,13 @@ exec_command(const char *cmd,
 	 */
 	else if (strcmp(cmd, "ef") == 0)
 	{
-		if (!query_buf)
+		if (pset.sversion < 80400)
+		{
+			psql_error("The server (version %d.%d) does not support editing function source.\n",
+					   pset.sversion / 10000, (pset.sversion / 100) % 100);
+			status = PSQL_CMD_ERROR;
+		}
+		else if (!query_buf)
 		{
 			psql_error("no query buffer\n");
 			status = PSQL_CMD_ERROR;