From eb244a1cb825808ecc7e6486ea554848bc3d5621 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Tue, 22 Sep 2020 17:39:17 -0700
Subject: [PATCH] Add missing ']' in book example.

Fixes #880.
---
 docs/ProgrammingCryptol/crashCourse/CrashCourse.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
index 5606e676b..7c422a523 100644
--- a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
+++ b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -1598,7 +1598,7 @@ \section{Characters and strings}
 simply, by using a smaller bit size for the constant {\tt 1}:
 \begin{Verbatim}
   Cryptol> [(1:[2])...]
-  [1, 2, 3, 0, 1 ...
+  [1, 2, 3, 0, 1 ...]
   Cryptol> take`{20} [(1:[2])...]
   [1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0]
 \end{Verbatim}