Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

chapters/synchronous.tex

@@ -883,8 +883,7 @@ \section{Clock Partitioning}\label{clock-partitioning}
 of \cref{partitioning-operators} are handled specially.
 
 \begin{nonnormative}
-The clock partitions are solely determined by the equations.
-Thus two different clock partitions can have clocks defined by the same expressions.
+As clock partitions are solely determined by the equations, two different clock partitions can have clocks defined by the same expressions.
 It is a quality of implementation issue that such partitions are executed synchronously, e.g., by putting them in the same task in a real-time simulation context.
 \end{nonnormative}