From b7363dd99f4d61a799a5df227c1474c60f583167 Mon Sep 17 00:00:00 2001
From: Marcella Hastings <marcella@galois.com>
Date: Tue, 10 Sep 2024 10:06:09 -0400
Subject: [PATCH] Update type of `take` in book

---
 docs/ProgrammingCryptol/prims/Primitives.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/ProgrammingCryptol/prims/Primitives.tex b/docs/ProgrammingCryptol/prims/Primitives.tex
index e9616faff..b37b77a4f 100644
--- a/docs/ProgrammingCryptol/prims/Primitives.tex
+++ b/docs/ProgrammingCryptol/prims/Primitives.tex
@@ -53,7 +53,7 @@ \chapter{Cryptol prelude functions}
 \end{Verbatim}
 \paragraph*{Sequences}
 \begin{Verbatim}
-    take      : {front, back, a} (fin front) => [front + back]a -> [front]a
+    take      : {front, back, a} => [front + back]a -> [front]a
     drop      : {front, back, a} (fin front) => [front + back]a -> [back]a
     #         : {front, back, a} (fin front) => [front]a -> [back]a -> [front + back]a
     join      : {parts, each, a} (fin each) => [parts][each]a -> [parts * each]a
@@ -166,7 +166,7 @@ \chapter{Cryptol prelude functions}
 %    scarry : {n} (fin n, n >= 1) => [n] -> [n] -> Bit
 %    sborrow : {n} (fin n, n >= 1) => [n] -> [n] -> Bit
 
-%%% Local Variables: 
+%%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "../main/Cryptol"
-%%% End: 
+%%% End: