From 2ddbf5d5171ce4ddfcae51c87d68676d393971e3 Mon Sep 17 00:00:00 2001
From: Dave Brown <dave.git@brownsmeet.com>
Date: Sat, 9 Nov 2019 11:32:03 +0000
Subject: [PATCH] Correct Args.argc to INTEGER rather than LONGINT

---
 src/library/v4/Args.Mod | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 src/library/v4/Args.Mod

diff --git a/src/library/v4/Args.Mod b/src/library/v4/Args.Mod
old mode 100644
new mode 100755
index 578ac7e5..c3621116
--- a/src/library/v4/Args.Mod
+++ b/src/library/v4/Args.Mod
@@ -10,7 +10,7 @@ MODULE Args;  (* jt, 8.12.94 *)
     ArgVec = POINTER TO ARRAY 1024 OF ArgPtr;
 
   VAR
-    argc-: LONGINT;
+    argc-: INTEGER;
     argv-: SYSTEM.ADDRESS;