changeset 1899:2f19333b1e72

[project @ 1996-02-09 17:46:58 by jwe]
author jwe
date Fri, 09 Feb 1996 17:46:58 +0000
parents 750e5d190404
children a3132152a41f
files src/pr-output.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/pr-output.cc
+++ b/src/pr-output.cc
@@ -1587,7 +1587,7 @@
   int idx = 1;
   string arg = argv[idx++];
 
-  if (argc > 1)
+  if (--argc > 0)
     {
       if (arg == "short")
 	{