Revert line.

chapters/connectors.tex

@@ -764,7 +764,7 @@ \subsection{Connection Graphs and Their Operators}\label{overconstrained-equatio
   end equalityConstraint;
 end Record;
 \end{lstlisting}
-The array dimension $n$ of \lstinline!residue! shall be an evaluable \lstinline!Integer! expression, with $n \geq 0$.
+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 (closed as fixed on 2021-09-07):