changeset 927:599bc76931e9

[project @ 1994-11-15 01:40:09 by jwe]
author jwe
date Tue, 15 Nov 1994 01:40:09 +0000
parents ba3e4748cbf2
children 2f91e7098f8c
files src/pt-misc.cc
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/pt-misc.cc
+++ b/src/pt-misc.cc
@@ -251,11 +251,13 @@
 	}
       else
 	{
-	  args(j) = tree_constant ();
+	  args(j++) = tree_constant ();
 	  break;
 	}
     }
 
+  args.resize (j);
+
   return args;
 }