update docs again

GaloisInc · Jun 30, 2021 · 4d5d66f · 4d5d66f
1 parent a3534f9
commit 4d5d66f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -790,7 +790,7 @@ \subsection{Appending and indexing}
   []
   invalid sequence index: 12
    -- Backtrace --
-  (Cryptol::@) called at Cryptol:867:14--867:20
+  (Cryptol::@) called at Cryptol:870:14--870:20
   (Cryptol::@@) called at <interactive>:9:1--9:28
   [9, 8, 7, 6, 5, 4, 3, 2, 1, 0]
   9