From 4fb5f763261fc02d6baedf84c13e1293836a60da Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sat, 2 Feb 2008 07:50:26 +0100
Subject: [PATCH] Remove unused non-terminal <VAR> from output of list command

It's been unused since commit 5dec30d6, and its explanation was bogus
before.
---
 src/lib/player/empdis.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/lib/player/empdis.c b/src/lib/player/empdis.c
index 8754fc7d..4be104ee 100644
--- a/src/lib/player/empdis.c
+++ b/src/lib/player/empdis.c
@@ -137,7 +137,6 @@ explain(void)
        /* FIXME incomplete */
        "  <NUM> :: a number in unspecified units\n"
        "  <COMM> :: a commodity such as `food', `guns', etc\n"
-       "  <VAR> :: a commodity such as `food', `guns', etc\n"
        "  <TYPE> :: an item type such as `ship', `plane', etc\n");
     for (i = 0; (format = player_coms[i].c_form) != 0; i++) {
 	if ((player_coms[i].c_permit & player->nstat)