Skip to content

Commit

Permalink
Fix additional issue in #2182, missed noClock
Browse files Browse the repository at this point in the history
  • Loading branch information
HansOlsson committed May 16, 2019
1 parent 2e2f517 commit 99f58c8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/synchronous.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1384,7 +1384,7 @@ \subsection{Inferencing of solverMethod}\doublelabel{inferencing-of-solvermethod
These sets are then merged as follows: for each set without a specified solverMethod we merge it
with sets connected to it (these may contain a solverMethod); and this is repeated until it is not possible to merge more sets.
The sets connected in this way should be part of the same base-clock partition and connected through a sub-clock conversion operator
(\lstinline!subSample!, \lstinline!superSample!, \lstinline!shiftSample! or \lstinline!backSample!).
(\lstinline!subSample!, \lstinline!superSample!, \lstinline!shiftSample!, \lstinline!backSample!, or \lstinline!noClock!).

\begin{itemize}
\item If this set contains multiple different values for \lstinline!solverMethod! it is an error.
Expand Down

0 comments on commit 99f58c8

Please sign in to comment.