# HG changeset patch
# User jwe
# Date 773635208 0
# Node ID e273a853208166c4cbc6912b2b024e184d1db672
# Parent  cc8a1d369540dc23df498731befac1102dd7eec3
[project @ 1994-07-08 02:40:08 by jwe]

diff -r cc8a1d369540 -r e273a8532081 src/pt-exp-base.cc
--- a/src/pt-exp-base.cc	Fri Jul 08 02:30:57 1994 +0000
+++ b/src/pt-exp-base.cc	Fri Jul 08 02:40:08 1994 +0000
@@ -1412,7 +1412,7 @@
 
   if (curr_arg_number < num_args_passed)
     {
-      retval = args_passed(curr_arg_number);
+      retval = args_passed (curr_arg_number);
       curr_arg_number++;
     }
   else