diff options
Diffstat (limited to 'src/builtins.zig')
| -rw-r--r-- | src/builtins.zig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/builtins.zig b/src/builtins.zig index 89d89c3a..fb6aa4cf 100644 --- a/src/builtins.zig +++ b/src/builtins.zig @@ -1314,7 +1314,7 @@ pub const Repl = struct { shown += 1; } }; - w.print(" ({d} more: docs/tags.md, Repl)", .{known - shown}) catch {}; + w.print(" ({d} more: docs/typ/reference.typ, REPLs)", .{known - shown}) catch {}; return c.p.reportFailure(c.id, w.buffered()); }; if (pane.repl) |r| if (r.lang == lang) |