Skip to content

Commit

Permalink
Move '(definite)' inside \firstuse
Browse files Browse the repository at this point in the history
As suggested by Hans.
  • Loading branch information
henrikt-ma committed Nov 29, 2021
1 parent 974ee15 commit c17ee1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/connectors.tex
Expand Up @@ -871,7 +871,7 @@ \subsection{Overconstrained Equation Operators for Connection Graphs}\label{over
Connections.root(A.R)
\end{lstlisting}\end{synopsis}
\begin{semantics}
The overdetermined type or record instance \lstinline!R! in connector instance \lstinline!A! is a (definite) \firstuse[definite root node]{root node}\index{root node!definite} in a virtual connection graph.
The overdetermined type or record instance \lstinline!R! in connector instance \lstinline!A! is a \firstuse[definite root node]{(definite) root node}\index{root node!definite} in a virtual connection graph.

\begin{nonnormative}
This definition shall be used if in a model with connector \lstinline!A! the overdetermined record \lstinline!A.R! is (consistently) assigned, e.g., from a parameter expressions.
Expand Down

0 comments on commit c17ee1c

Please sign in to comment.