docs(Tty): fix outdated screenshots

RedPRL · Oct 9, 2023 · fdea019 · fdea019
1 parent c3f0747
commit fdea019
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tty/Tty.mli b/src/tty/Tty.mli
@@ -27,7 +27,7 @@ module Make (Code : Diagnostic.Code) : sig
     │
   8 │ assert (asai is cool)
     ┷
- Error [E002]
+ Error[E002]:
  Why am I checking the term against (→ ℕ (→ ℕ ℕ))?
       v}