Fix the previous revision.

This commit is contained in:
Markus Armbruster 2005-10-21 18:21:46 +00:00
parent 160644f6ba
commit 224cc6328a

View file

@ -206,6 +206,6 @@ show_opts(int val)
pr(",\n "); pr(",\n ");
sep = ""; sep = "";
} }
pr("%sSHIPNAMES", sep, op->opt_key); pr("%sSHIPNAMES", sep);
} }
} }