Add missing ']' in book example.

Fixes #880.
GaloisInc · Sep 23, 2020 · c4299a1 · c4299a1
1 parent 8ba6570
commit c4299a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}