diff options
| -rw-r--r-- | spec/spec.pdf | bin | 323280 -> 323875 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex bb456a88..b5e699f4 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf 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 |