Skip to content

Commit

Permalink
Update comment after LaTeXML issue being fixed promptly on 'master'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Sep 7, 2021
1 parent b48f4a4 commit a3c78d9
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions chapters/connectors.tex
Expand Up @@ -793,8 +793,8 @@ \subsection{Overconstrained Equation Operators for Connection Graphs}\label{over
The array dimension $n$ of \lstinline!residue! shall be a constant \lstinline!Integer! expression that can be evaluated during translation, with $n \geq 0$.
The \lstinline!equalityConstraint! expresses the equality between the two type instances \lstinline!T1! and \lstinline!T2! or the record instances \lstinline!R1! and \lstinline!R2!, respectively, as the $n$ non-redundant equation residuals returned in \lstinline!residue!.
That is, the set of $n$ non-redundant equations stating that \lstinline!R1 = R2! is given by the equation (%
% Just a '0' doesn't work in \lstinline as reported in:
% - https://github.com/brucemiller/LaTeXML/issues/1651
% Just a '0' doesn't work in \lstinline as reported in (closed as fixed on 2020-09-07):
% - https://github.com/brucemiller/LaTeXML/issues/1651 -- fixed on 'master'
\ifpdf
\lstinline!0!
\else
Expand Down
4 changes: 2 additions & 2 deletions chapters/lexicalstructure.tex
Expand Up @@ -154,8 +154,8 @@ \subsection{Floating Point Numbers}\label{floating-point-numbers}
\subsection{Integer Literals}\label{integer-literals}

Literals of type \lstinline!Integer! are sequences of decimal digits, e.g.\ as in the integer numbers \lstinline!33!,
% Just a '0' doesn't work in \lstinline as reported in:
% - https://github.com/brucemiller/LaTeXML/issues/1651
% Just a '0' doesn't work in \lstinline as reported in (closed as fixed on 2020-09-07):
% - https://github.com/brucemiller/LaTeXML/issues/1651 -- fixed on 'master'
\ifpdf
\lstinline!0!%
\else
Expand Down

0 comments on commit a3c78d9

Please sign in to comment.