Update book exercise output

2024-09-11 22:17:18 +03:00 · 2021-02-23 14:12:49 -08:00 · 2021-02-23 14:12:49 -08:00 · eb9d3e900d
commit eb9d3e900d
parent 38ab19bc3b
2 changed files with 1 additions and 1 deletions
--- a/docs/ProgrammingCryptol.pdf
+++ b/docs/ProgrammingCryptol.pdf
--- a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
+++ b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@ -790,7 +790,7 @@ Here are Cryptol's responses:
  []
  invalid sequence index: 12
   -- Backtrace --
-  (Cryptol::@) called at Cryptol:806:14--806:20
+  (Cryptol::@) called at Cryptol:822:14--822:20
  (Cryptol::@@) called at <interactive>:9:1--9:28
  [9, 8, 7, 6, 5, 4, 3, 2, 1, 0]
  9