diff options
Diffstat (limited to 'spec/spec.tex')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index 361b435f..9aa1e6b4 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1285,7 +1285,7 @@ div & (num,den) & () & (UInt,UInt) & UInt & w\ts{num}\\ \end{tabular} }} \end{figure} -The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. +The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. The result of a division where \vv{den} is zero is undefined. \subsection{Modulus Operation} |