or...

gap-system · Jan 6, 2025 · acb54a5 · acb54a5
1 parent 43c33f6
commit acb54a5
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/gap.c b/src/gap.c
@@ -1431,8 +1431,10 @@ void InitializeGap (
     char *              argv [],
     UInt                handleSignals )
 {
+    const int argc = *pargc;
+
     // initialize the basic system and gasman
-    InitSystem( *pargc, argv, handleSignals );
+    InitSystem(argc, argv, handleSignals);
 
     // Initialise memory  -- have to do this here to make sure we are at top of C stack
     InitBags(
@@ -1454,8 +1456,8 @@ void InitializeGap (
     ModulesInitKernel();
 
     // make command line available to GAP level
-    KernelArgs = NEW_PLIST_IMM(T_PLIST, 16);
-    for (int i = 0; argv[i]; i++) {
+    KernelArgs = NEW_PLIST_IMM(T_PLIST, argc);
+    for (int i = 0; i < argc; i++) {
         PushPlist(KernelArgs, MakeImmString(argv[i]));
     }