mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-14 05:12:33 +00:00
Replace "is" with "=".
Estimated hours taken: 2 Branches: main Replace "is" with "=". Add field names where relevant. Replace integers with counters where relevant.
This commit is contained in:
@@ -231,7 +231,7 @@ term_errors__output_errors([], _, _, _, _) --> [].
|
||||
term_errors__output_errors([Error | Errors], Single, ErrNum0, Indent, Module)
|
||||
-->
|
||||
term_errors__output_error(Error, Single, yes(ErrNum0), Indent, Module),
|
||||
{ ErrNum1 is ErrNum0 + 1 },
|
||||
{ ErrNum1 = ErrNum0 + 1 },
|
||||
term_errors__output_errors(Errors, Single, ErrNum1, Indent, Module).
|
||||
|
||||
:- pred term_errors__output_error(term_errors__error::in,
|
||||
|
||||
Reference in New Issue
Block a user