From 1a2ee08381791491cd25a6347a3f7fe6d3948da5 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Sun, 22 Nov 2020 23:52:53 +0100 Subject: [PATCH] Fix 'if of type' -> 'is of type' --- chapters/synchronous.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 19bb2f1d8..9b6d696da 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -576,7 +576,9 @@ \subsection{Base-clock conversion operators}\label{base-clock-conversion-operato Input argument $u$ can be a general expression, because the argument is continuous-time and therefore has always a value. It can also be a constant, a parameter or a piecewise constant expression. -Note that \lstinline!sample! is an overloaded function: If \lstinline!sample! has two positional input arguments and the second argument is of type \lstinline!Real!, it is the operator from \cref{event-related-operators-with-function-syntax}. If \lstinline!sample! has one input argument, or it has two input arguments and the second argument if of type \lstinline!Clock!, it is the base-clock conversion operator from this section. +Note that \lstinline!sample! is an overloaded function: +If \lstinline!sample! has two positional input arguments and the second argument is of type \lstinline!Real!, it is the operator from \cref{event-related-operators-with-function-syntax}. +If \lstinline!sample! has one input argument, or it has two input arguments and the second argument is of type \lstinline!Clock!, it is the base-clock conversion operator from this section. \end{nonnormative} \end{semantics} \end{operatordefinition*}