From 1cf446ce675208e739bf7b2b06f69cee7784ad52 Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Mon, 18 May 2020 09:50:45 -0700
Subject: Fix typo in spec description of 'tail' (#1626)

* Closes #1597---
 spec/spec.pdf | Bin 323280 -> 323875 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/spec.pdf b/spec/spec.pdf
index bb456a88..b5e699f4 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf 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
-- 
cgit v1.2.3