Update book examples

2024-08-17 01:41:09 +03:00 · 2021-08-20 13:17:37 -07:00 · 2021-08-20 13:17:37 -07:00 · 716c338090
commit 716c338090
parent 7dcb2c6afa
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
@ -791,7 +791,7 @@ Here are Cryptol's responses:
  []
  invalid sequence index: 12
   -- Backtrace --
-  (Cryptol::@) called at Cryptol:870:14--870:20
+  (Cryptol::@) called at Cryptol:888:14--888:20
  (Cryptol::@@) called at <interactive>:9:1--9:28
  [9, 8, 7, 6, 5, 4, 3, 2, 1, 0]
  9