From bfdc7dd39ee008506dafb010725fc192ccbe5287 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Thu, 5 Dec 2024 16:02:00 -0800
Subject: [PATCH] doc: Fix code environment

---
 doc/repl.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/repl.md b/doc/repl.md
index a31db4f..978bad2 100644
--- a/doc/repl.md
+++ b/doc/repl.md
@@ -39,7 +39,7 @@ See `Pantograph/Protocol.lean` for a description of the parameters and return va
   - `{ "goals": <names> }`: Resume the given goals
 * `goal.remove {"stateIds": [<id>]}"`: Drop the goal states specified in the list
 * `goal.print {"stateId": <id>}"`: Print a goal state
-* `goal.save`{ id, path }, `env.load { path }`: Save/Load a goal state to/from a
+* `goal.save{ id, path }`, `goal.load { path }`: Save/Load a goal state to/from a
   file. The environment is not carried with the state. The user is responsible
   to ensure the sender/receiver instances share the same environment.
 * `frontend.process { ["fileName": <fileName>",] ["file": <str>], invocations: