aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlbert Magyar2020-05-18 09:50:45 -0700
committerGitHub2020-05-18 16:50:45 +0000
commit1cf446ce675208e739bf7b2b06f69cee7784ad52 (patch)
tree1ef1a5b87b0e2d5a6a993c71eca5fbb1753e5659
parent8653734c3eaac2e4a1cc53e545ef11b80b03af4d (diff)
Fix typo in spec description of 'tail' (#1626)
* Closes #1597
-rw-r--r--spec/spec.pdfbin323280 -> 323875 bytes
-rw-r--r--spec/spec.tex2
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf
index bb456a88..b5e699f4 100644
--- a/spec/spec.pdf
+++ b/spec/spec.pdf
Binary files differ
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