X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.c;h=b386317a2c1052f07617f51f48ef022328b73339;hb=ccf2f45c091ce1555b4e2a36186c501675c18a59;hp=f4c76c33b32bde5d8cb9ed67f1cafad17c8ed5a3;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp-builds.git

diff --git a/src/command.c b/src/command.c
index f4c76c33..b386317a 100644
--- a/src/command.c
+++ b/src/command.c
@@ -561,7 +561,7 @@ int
 cmd_execute (void)
 {
   lex_match_id ("EXECUTE");
-  procedure (NULL, NULL, NULL);
+  procedure (NULL, NULL, NULL, NULL);
   return lex_end_of_command ();
 }