Use lstlisting instead of \lstinline for complete element

chapters/synchronous.tex

@@ -514,7 +514,9 @@ \section{Clock Constructors}\label{clock-constructors}
   Clock variables can be declared in models, blocks, connectors, and records.
   A clock variable can be declared with the prefixes \lstinline!input!, \lstinline!output!, \lstinline!inner!, \lstinline!outer!, but \emph{not} with the prefixes \lstinline!flow!, \lstinline!stream!, \lstinline!discrete!, \lstinline!parameter!, or \lstinline!constant!.
   \begin{example}
-  \lstinline!connector ClockInput = input Clock;!
+\begin{lstlisting}[language=modelica]
+connector ClockInput = input Clock;
+\end{lstlisting}
   \end{example}
 \end{itemize}