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 a5f09114..6b410ab1 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1695,7 +1695,7 @@ The result of the head operation are the \vv{n} most significant bits of \vv{e}. {\ttfamily \begin{tabular}{ |c|c|c|c|c|c| } \opheader - \mrow{3}{head} & \mrow{3}{(e)} & \mrow{3}{(n)} & (UInt) & UInt & w\ts{e}-n\\ + \mrow{3}{tail} & \mrow{3}{(e)} & \mrow{3}{(n)} & (UInt) & UInt & w\ts{e}-n\\ & & & (SInt) & UInt & w\ts{e}-n\\ & & & (Fixed) & UInt & w\ts{e}-n\\ \hline |
