* write node flags to log file instead of to stdout

git-svn-id: trunk@23150 -
This commit is contained in:
Jonas Maebe 2012-12-15 22:47:07 +00:00
parent 9ef4a35a7b
commit 6e9a8c9187

View File

@ -855,12 +855,12 @@ implementation
if i in flags then if i in flags then
begin begin
if not(first) then if not(first) then
write(',') write(t,',')
else else
first:=false; first:=false;
write(i); write(i);
end; end;
write(']'); write(t,']');
end; end;