[Dwarf-Discuss] DWARF Issue 070519.1
Tue Sep 4 14:16:03 GMT 2007
Re: DWARF Issue 070519.1 <ShowIssue.php?issue=070519.1>
times the number_of_operations (or one, if it is zero) from the header.
should be written
times the number_of_operations (or one, if number_of_operations is zero) from the header.
to avoid any confusion about what 'it' is (yes normal english antecedent rules
would lead the careful reader to understand what 'it' refers to, but IMO it's better
to be explicit).
More information about the Dwarf-discuss