|
@@ -2915,7 +2915,7 @@ begin
|
|
b:=ppufile.getbyte;
|
|
b:=ppufile.getbyte;
|
|
if b<>0 then
|
|
if b<>0 then
|
|
begin
|
|
begin
|
|
- write ([space,' Alias names : ']);
|
|
|
|
|
|
+ write ([space,' Alias names : ']);
|
|
for j:=1 to b do
|
|
for j:=1 to b do
|
|
begin
|
|
begin
|
|
write(ppufile.getstring);
|
|
write(ppufile.getstring);
|